Informatica teorica

2

Gli scacchi possono simulare una macchina di Turing universale?

Sto cercando di ottenere una risposta definitiva alla domanda del titolo. Esiste un insieme di regole che traduce qualsiasi programma in una configurazione di pezzi finiti su una tavola infinita, in modo tale che se il bianco e nero gioca solo mosse legali, il gioco termina a tempo finito se …

16 computability turing-machines board-games halting-problem recreational

1

Puoi decidere l'equivalenza per le espressioni booleane monotone che non contengono negazione in PTIME?

È il seguente problema in PTIME o coNP-hard: Date due espressioni booleane ed e 2 nelle variabili x 1 , ... , x n , senza negazione (ovvero, le espressioni sono interamente costruite tramite ∧ e ∨ ). Decidi se e 1 ≡ e 2 , ovvero hanno lo stesso …

16 cc.complexity-theory time-complexity boolean-functions monotone

2

Paradigmi per l'analisi della complessità degli algoritmi

L'analisi dei casi peggiori e dei casi medi sono misure ben note per la complessità di un algoritmo. L'analisi recentemente lisciata è emersa come un altro paradigma per spiegare perché alcuni algoritmi che sono esponenziali nel caso peggiore funzionano così bene nella pratica, ad esempio l'algoritmo simplex. La mia domanda …

16 cc.complexity-theory average-case-complexity smoothed-analysis

1

Concatenazione efficiente di DFA?

Vi sono prove teoriche che l'ingenua costruzione di prodotti cartesiani per l'intersezione dei DFA sia "il meglio che possiamo fare". E la concatenazione di due DFA? La banale costruzione prevede la conversione di ogni DFA in un NFA, l'aggiunta di una transizione epsilon e la determinazione del NFA risultante. Possiamo …

16 cc.complexity-theory fl.formal-languages automata-theory dfa

4

Quando meno pubblicazioni sono meno?

Ci sono casi in cui pubblicazioni extra possono danneggiare il tuo record? Questo evita i casi ovvi in cui pubblichi risultati errati o controversi. Evitando anche il caso del tempo finito: hai solo così tanto tempo per pensare e scrivere, quindi scrivere un articolo potrebbe farti perdere tempo su un …

16 soft-question advice-request career

1

Algoritmo per l'ottimizzazione degli alberi decisionali

sfondo Un albero di decisione binario TTT è un albero radicato dove ogni nodo interno (e radice) è etichettato da un indice j∈{1,...,n}j∈{1,...,n}j \in \{1,..., n\} tale che nessun percorso dalla radice alla foglia ripete un indice, le foglie sono etichettate dagli output in {A,B}{A,B}\{A,B\} e ogni bordo è etichettato …

16 ds.algorithms query-complexity decision-trees

1

Alla ricerca della carta LCF originale di Scott

Il seguente manoscritto è disponibile pubblicamente? Dana Scott, 1969, Una teoria delle funzioni calcolabili di tipo superiore . Note di seminario inedite, 7 pagine, Università di Oxford. C'è una discussione di questo articolo nella sezione 8.1.2, Tipi come set , in Cardone & Hindley, 2006 History of Lambda-calculus and Combinatory …

16 reference-request lo.logic type-theory domain-theory

1

Qual è il nome di questo tipo di problema del grafico diretto?

Prendi un grafico diretto dove i bordi sono decorati con un numero naturale. Vogliamo l'insieme di tutti i percorsi P tra due vertici v 1 e v 2 in modo tale che ogni bordo successivo nel percorso sia decorato con un numero naturale maggiore del numero naturale che decora il …

16 ds.algorithms reference-request graph-algorithms terminology

3

C'è un nome per "cose fisiche con le quali si può costruire una macchina di Turing"?

Una delle cose straordinarie dell'informatica è che l'implementazione fisica è in un certo senso "irrilevante". Le persone hanno costruito con successo computer da diversi substrati diversi: relè, tubi a vuoto, transistor discreti, ecc. Le persone potrebbero presto riuscire a costruire computer completi di Turing con materiali ottici non lineari, varie …

16 computability turing-machines terminology physics natural-computing

3

Qual è il ruolo della predicatività nelle definizioni induttive nella teoria dei tipi?

Spesso vogliamo definire un oggetto A∈UUN∈UA \in U secondo alcune regole di inferenza. Tali norme denotano una funzione generatrice FFF che, quando è monotona, si ottiene un punto fisso almeno μFμF\mu F . Prendiamo A:=μFUN: =μFA := \mu F di essere la "definizione induttiva" di . Inoltre, la monotonicità di …

16 lo.logic pl.programming-languages type-theory proof-assistants coq

2

Congettura e grammatica / automi di Collatz

Mi chiedevo se esiste una buona bibliografia dei tentativi di indagare sulla congettura di Collatz come grammatica formale? (o qualsiasi altro tentativo nella comunità CS di affrontare questa classe di fenomeni generativi e le loro proprietà di "arresto").

16 fl.formal-languages nt.number-theory halting-problem

3

Esiste una teoria del linguaggio di programmazione che descriva le interfacce di funzioni estranee (FFI) e le associazioni di più lingue?

Esiste una teoria del linguaggio di programmazione che descriva le interfacce di funzioni estranee (FFI) e le associazioni di più lingue? Ho chiesto alcuni problemi di implementazione su StackOverflow , che qui non è adatto. Ma vorrei chiedere dal punto di vista di questo sito e vedere cosa potrei ottenere …

16 pl.programming-languages semantics

1

Tautologie / contraddizioni nel caso medio, oltre il modello casuale k-CNF

È noto che le formule casuali -CNF su n variabili con clausole c n sono insoddisfacenti (cioè sono contraddizioni) con alta probabilità, per una costante sufficientemente grande c . Pertanto, le formule casuali k -CNF (per c abbastanza grande) costituiscono una distribuzione naturale su insoddisfacenti formule booleane (o due volte, …

16 cc.complexity-theory reference-request lo.logic sat random-k-sat

3

Avvio automatico di una struttura ad albero dito

Dopo aver lavorato con 2-3 alberi di dita per un bel po ', sono rimasto colpito dalla loro velocità nella maggior parte delle operazioni. Tuttavia, l'unico problema che ho riscontrato è il grande overhead associato alla creazione iniziale di un albero finger di grandi dimensioni. Poiché la costruzione è definita …

16 ds.data-structures functional-programming

3

Esistono x tali che K (xx) <K (x), dove K è la completezza di Kolmogorov.

Consenti a indicare la complessità di Kolmogorov di una stringa x . Esiste una stringa tale che K ( x x ) < K ( x ) . (Qui x x è la concatenazione di x con se stesso). Una domanda simile ma diversa è stata posta qui , ma …

16 cc.complexity-theory kolmogorov-complexity