Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

5
Curioso delle prove di completezza NP assistita da computer
Nell'articolo "LA COMPLESSITÀ DEI PROBLEMI DI SODDISFAZIONE" di Thomas J. Schaefer, l'autore ha menzionato che This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational complexity could be explored with the help of a computer. The …
6
Dichiarazioni che implicano
Questa è una specie di domanda a risposta aperta - per cui mi scuso in anticipo. Ci sono esempi di affermazioni che (apparentemente) non hanno nulla a che fare con la complessità o le macchine di Turing ma la cui risposta implicherebbe P≠NPP≠NP\mathbf{P}\neq \mathbf{NP} ?
1
Esatto flusso elettrico planare
Considera una rete elettrica modellata come un grafico planare G, in cui ogni fronte rappresenta una resistenza da 1Ω. In quanto tempo possiamo calcolare l' esatta resistenza effettiva tra due vertici in G? Equivalentemente, quanto velocemente possiamo calcolare la corrente esatta che scorre lungo ciascun bordo se colleghiamo una batteria …
1
Quali sono i problemi pratici con i tipi di intersezione e unione?
Sto progettando un semplice linguaggio di programmazione funzionale tipicamente statico come esperienza di apprendimento. Sembra che il sistema di tipi che ho implementato finora potrebbe (con un po 'di lavoro extra) incorporare tipi di intersezione e unione, ad esempio potresti avere: <Union String Integer> <Union Integer Foo> L'intersezione dei due …
2
Limite inferiore per determinante e permanente
Alla luce del recente abisso alla profondità 3 risultato (che tra l'altro produce un profondità 3 circuito aritmetico per ildeterminanten×nsuC), ho le seguenti domande: Grigoriev e Karpinski hannodimostratounlimite inferiore di2Ω(n)per qualsiasi circuito aritmetico di profondità 3 che calcola il determinante din×nmatrici su campi finiti (che immagino valga anche per il …
1
Classificazione cancelli reversibili
Il reticolo di Post , descritto da Emil Post nel 1941, è fondamentalmente un diagramma di inclusione completo di insiemi di funzioni booleane che sono chiuse sotto composizione: ad esempio, le funzioni monotone, le funzioni lineari su GF (2) e tutte le funzioni. (Post non pensava che le costanti 0 …
2
Grafici in cui tutti i percorsi più brevi sono unici
Sto cercando grafici non indirizzati, non ponderati e connessi , in cui per ogni coppia , esiste un percorso unico che realizza la distanza .G = ( V, E)sol=(V,E)G=(V,E)u , v ∈ Vu,v∈Vu,v \in Vu → vu→vu \rightarrow vd( u , v )d(u,v)d(u,v) Questa classe di grafici è nota? Quali …
3
Giustificare l'analisi asintotica nel caso peggiore per gli scienziati
Ho lavorato per introdurre alcuni risultati della complessità computazionale nella biologia teorica, in particolare evoluzione ed ecologia , con l'obiettivo di essere interessante / utile per i biologi. Una delle maggiori difficoltà che ho incontrato è quella di giustificare l'utilità dell'analisi asintotica del caso peggiore per i limiti inferiori. Esistono …
1
Unificazione ed eliminazione gaussiana
Qualcuno sa di riferimenti che spiegano con precisione la connessione tra l' algoritmo di unificazione e l'eliminazione gaussiana? Sono particolarmente interessato alla relazione tra sostituzioni triangolari e decomposizioni LU. Wayne Snyder e Jean Gallier menzionano questa analogia nel loro articolo, Unificazione di ordine superiore rivisitato: set completi di trasformazioni .
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.