Scienza del computer reference-request

3

Algoritmo di tempo lineare deterministico per verificare se un array è una versione ordinata dell'altro

Considera il seguente problema: Input: due matrici e di lunghezza , dove è in ordine.AAABBBnnnBBB Domanda: do e contengono gli stessi elementi (con la loro molteplicità)?AAABBB Qual è l' algoritmo deterministico più veloce per questo problema? Può essere risolto più velocemente di ordinarli? Questo problema può essere risolto in un …

19 algorithms reference-request sorting

1

Quali classi di strutture dati possono essere rese persistenti?

Le strutture di dati persistenti sono strutture di dati immutabili. Le operazioni su di essi restituiscono una nuova "copia" della struttura dei dati, ma modificata dall'operazione; la vecchia struttura di dati rimane tuttavia invariata. L'efficienza si ottiene generalmente condividendo alcuni dei dati sottostanti ed evitando la copia completa della struttura …

19 reference-request data-structures functional-programming persistent-data-structure

2

Algoritmi di verifica del tipo

Sto iniziando una ricerca bibliografica personale sugli algoritmi di controllo del tipo e voglio alcuni consigli. Quali sono gli algoritmi, le strategie e le tecniche generali di controllo del tipo più comunemente usati? Sono particolarmente interessato a complessi algoritmi di controllo del tipo che sono stati implementati in linguaggi tipizzati …

19 algorithms programming-languages reference-request type-checking

5

Qual è il primo utilizzo di "alberi" nell'informatica?

Ho una piccola domanda di storia, vale a dire, come dice il titolo, sto cercando i primi usi degli alberi (come struttura di dati, albero di ricerca, qualunque cosa) nell'informatica.

18 data-structures reference-request trees history

4

"Eugene Goostman" ha davvero superato il test di Turing?

Si dice che "Eugene Goostman", un programma per computer sviluppato per simulare un ragazzo di 13 anni, sia riuscito a convincere il 33% dei giudici che era umano, e quindi ha superato il test di Turing. Il programma per computer, noto anche come chatbot, fingeva di essere un ragazzo ucraino …

18 reference-request artificial-intelligence history turing-test

1

tagli a ghigliottina rispetto a tagli generali

I problemi di taglio sono problemi in cui un determinato oggetto di grandi dimensioni dovrebbe essere tagliato a più piccoli oggetti. Per esempio, immaginate di avere una fabbrica che funziona con grandi lastre di vetro grezzo, di larghezza e la lunghezza . Esistono diversi acquirenti, ognuno dei quali desidera un …

18 reference-request computational-geometry lower-bounds packing

3

Come leggere le regole di battitura?

Ho iniziato a leggere sempre più documenti di ricerca linguistica. Lo trovo molto interessante e un buon modo per saperne di più sulla programmazione in generale. Tuttavia, di solito arriva una sezione in cui ho sempre delle difficoltà (prendiamo ad esempio la terza parte di questo ) dal momento che …

18 logic reference-request terminology type-theory

1

Dimostrando la (in) trattabilità di questo ennesimo episodio ricorrente

Come segue dalla mia domanda precedente , ho giocato con l' ipotesi di Riemann come una questione di matematica ricreativa. Nel processo, sono arrivato a una ricorrenza piuttosto interessante e sono curioso di sapere il suo nome, le sue riduzioni e la sua trattabilità verso la solvibilità del divario tra …

18 complexity-theory reference-request recurrence-relation mathematical-analysis

3

Esiste una TM che si ferma su tutti gli input ma quella proprietà non è provabile?

Esiste una macchina di Turing che si ferma su tutti gli input ma quella proprietà non è dimostrabile per qualche motivo? Mi chiedo se questa domanda sia stata studiata. Si noti che "non dimostrabile" potrebbe significare un sistema di prova "limitato" (che nel senso debole pensa che la risposta debba …

17 computability reference-request turing-machines halting-problem

3

Ricettario per codifiche SAT?

I solutori SAT stanno diventando sempre più efficienti nella risoluzione di istanze di grandi dimensioni e vengono utilizzati come back-end in vari contesti. Ogni volta che si desidera utilizzarli per risolvere un problema in un dominio specifico, deve elaborare una codifica ad-hoc che non solo abbia il giusto set di …

17 reference-request satisfiability sat-solvers

1

Simulazione universale delle macchine di Turing

Sia fff una funzione fissa costruibile nel tempo. Il classico risultato di simulazione universale per TM (Hennie e Stearns, 1966) afferma che esiste una TM a due nastri tale cheUUU la descrizione di una TM e⟨M⟩⟨M⟩\langle M \rangle una stringa di input ,xxx corre per passi e restituisce la risposta …

16 complexity-theory reference-request turing-machines machine-models simulation

1

Algoritmo Polytime e Polyspace per determinare l'intersezione principale di n funzioni monotoniche discrete

Un po 'di materia prima: sono uno scienziato informatico ricreativo e un ingegnere informatico impiegato. Quindi, scusate se questo suggerimento sembra in qualche modo fuori dal campo sinistro - gioco abitualmente con simulcra matematici e problemi aperti quando non ho niente di meglio da fare. Mentre giocavo con l' ipotesi …

16 algorithms reference-request discrete-mathematics

2

Che cos'è la "coalescenza della memoria"?

Sono venuto a sapere che l'unità di elaborazione grafica ha qualcosa chiamato coalescenza della memoria. Leggendolo non ero chiaro sull'argomento. È in qualche modo correlato al parallelismo a livello di memoria. Ho cercato su Google ma non sono riuscito a ottenere una risposta soddisfacente. Sarebbe utile se qualcuno fornisse una …

16 terminology reference-request computer-architecture memory-management

1

Classi di complessità relative all'elencazione di tutte le soluzioni?

Stavo leggendo una domanda su Stack Overflow che mi chiedeva se fosse NP -hard a elencare tutti i cicli semplici in un grafico contenente un nodo particolare e mi venne in mente che non riuscivo a pensare a nessuna classe di complessità esistente adatta per parlando di problemi del modulo …

15 complexity-theory reference-request complexity-classes enumeration

2

Problemi di decisione in

Quali sono alcuni esempi di problemi decisionali difficili che possono essere risolti in tempi polinomiali? Sto cercando problemi per i quali l'algoritmo ottimale è "lento" o problemi per i quali l'algoritmo più veloce conosciuto è "lento". Ecco due esempi: Riconoscimento di grafici perfetti. Nel loro articolo FOCS'03 [1] Cornuéjols, Liu …

15 algorithms complexity-theory reference-request

Domande taggate «reference-request»