Informatica teorica

3

Qual è il modello teorico giusto per progettare algoritmi per computer ad alte prestazioni attuali e futuri

Questa domanda è simile a una domanda più generale su quale sia il giusto modello teorico di un computer per progettare algoritmi e strutture di dati. Qui, chiedo in modo specifico gli attuali computer ad alte prestazioni (come quelli elencati come Top 500 ) o anche circa imminenti supercomputer. Dato …

20 reference-request soft-question machine-models

2

PPAD e Quantum

Oggi a New York e in tutto il mondo viene celebrato il compleanno di Christos Papadimitriou. Questa è una buona opportunità per chiedere informazioni sulle relazioni tra la classe di complessità PPAD di Christos (e le sue altre classi correlate) e i computer quantistici. Nel suo celebre articolo del 1994 …

20 cc.complexity-theory complexity-classes quantum-computing cr.crypto-security nash-equilibrium

1

È determinabile l'equivalenza di lingue univoche senza contesto?

È noto che il problema dell'equivalenza è indecidibile per le lingue generali senza contesto. Tuttavia, tutte le prove di questo fatto di cui sono a conoscenza sembrano implicare alcune ambigue grammatiche libere dal contesto. Per questo motivo, vorrei chiedere se è noto se il problema rimane indecidibile, limitandosi a linguaggi …

19 fl.formal-languages grammars context-free decidability undecidability

1

Proprietà chiuse minori che sono esplicitamente esplicite MSO

Di seguito, MSO indica la logica monadica del secondo ordine dei grafici con quantificazioni di vertici e set di vertici. Sia una famiglia di grafici chiusa minore. Dalla teoria minore grafica di Robertson e Seymour deriva che è caratterizzato da un elenco finito di minori proibiti. In altre parole, per …

19 graph-theory lo.logic graph-minor topological-graph-theory

3

Perché due punti per indicare che un valore appartiene a un tipo?

Pierce (2002) introduce la relazione di battitura a pagina 92 scrivendo: La relazione di battitura per le espressioni aritmetiche, scritta "t: T", è definita da un insieme di regole di inferenza che assegnano i tipi ai termini e la nota dice: Il simbolo viene spesso usato al posto di:. La …

19 type-theory notation

4

Come elaborare un'idea non banale in informatica teorica?

Sono uno studente di dottorato che lavora in informatica teorica. Ho letto i documenti di ricerca di molti ricercatori e ho visto molti strumenti e matematica che usano per progettare un algoritmo. Ad esempio, vedi questo documento di ricerca [Primality in P] . Non direi che questo documento di ricerca …

19 advice-request

1

Divisione per due funzioni in #P

Sia una funzione a valore intero tale che sia in . Ne consegue che è in ? Ci sono ragioni per ritenere improbabile che ciò avvenga sempre? Qualche riferimento che dovrei sapere?2 F # P F # PFFF2 F.2F2F# P#P\#PFFF# P#P\#P Un po 'sorprendentemente, questa situazione si presentò (con una …

19 cc.complexity-theory complexity-classes counting-complexity

4

Discussione matematica: teorema sul sistema di controllo di revisione git?

Vorrei tenere un discorso di matematica sul sistema di controllo di revisione git . Ora è ampiamente usato in matematica e nell'industria dell'informatica. Ad esempio, la comunità HoTT (Homotopy Type Theory) lo utilizza ed è il sistema ideale per la modifica collaborativa di file di testo, siano essi codice sorgente …

19 co.combinatorics application-of-theory

1

Perché il miglioramento Odlyzko dell'algoritmo di Shor riduce il numero di prove a

Nel suo articolo del 1995 Polynomial-Time Algorithms for Prime Factorization e Discrete Logarithms su un computer quantistico , Peter W. Shor discute di un miglioramento nella ricerca del suo algoritmo di fattorizzazione. Le uscite algoritmo standard r'r′r' , un divisore dell'ordine rrr di Xxx modulo NNN . Invece di verificare …

19 quantum-computing nt.number-theory factoring

3

Calcolo dei reali: virgola mobile vs TTE vs teoria dei domini vs ecc

Attualmente, il calcolo dei reali nelle lingue più popolari viene ancora eseguito tramite operazioni in virgola mobile. D'altra parte, teorie come l'efficacia del tipo due (TTE) e la teoria dei domini hanno da tempo promesso il calcolo esatto dei reali. Chiaramente, il problema della precisione in virgola mobile non si …

19 cc.complexity-theory computing-over-reals computable-analysis domain-theory

1

I calcoli lambda stocastici di Scott

Di recente, Dana Scott ha proposto un calcolo lambda stocastico, un tentativo di introdurre elementi probabilistici nel calcolo lambda (non tipizzato) basato su una semantica chiamata modello grafico. Puoi trovare le sue diapositive on line ad esempio qui e il suo articolo nel Journal of Applied Logic , vol. 12 …

19 lo.logic pl.programming-languages lambda-calculus

2

"Incorporare" una lingua in sé

Domanda principale / generale Lascia che sia una lingua. Definire le lingue L i con L 0 = L e L i = { x w y : x y ∈ L i - 1 , w ∈ L } per i ≥ 1 . Considerare L = ⋃ L …

19 reference-request fl.formal-languages

1

Problemi in BQP ma ipotizzati essere esterni a P

Wikipedia ha elencato quattro problemi che si trovano in ma che si siano esterni a : fattorizzazione in numeri interi; Logaritmo discreto; Simulazione di sistemi quantistici; Calcolo del polinomio di Jones su determinate radici dell'unità.PB Q PBQPBQPPPP Ci sono altri problemi simili?

19 cc.complexity-theory complexity-classes quantum-computing

1

Come dimostrare che USTCONN richiede spazio logaritmico?

USTCONN è il problema che richiede stabilire se v'è un percorso dal vertice sorgente sss al bersaglio vertice ttt in un grafo GGG , dove questi sono tutti forniti come parte dell'input. Omer Reingold ha mostrato che USTCONN è in L (doi: 10.1145 / 1391289.1391291 ). La dimostrazione costruisce un …

19 cc.complexity-theory lower-bounds reductions space-bounded

1

Modifica distanza nello spazio sublineare

Qual è la complessità più nota per calcolare l'esatta distanza di modifica tra due stringhe della stessa lunghezza usando uno spazio di lavoro che è sublineare nella dimensione dell'input? Presumo che l'input sia memorizzato in un formato di sola lettura. È un problema precedentemente studiato? Per rendere la domanda un …

19 ds.algorithms edit-distance space-time-tradeoff