Informatica teorica

1

Contraddizione tra il secondo teorema di incompletezza di Gödel e la proprietà del CIC di Church-Rosser?

Da un lato, il secondo teorema di incompletezza di Gödel afferma che qualsiasi teoria formale coerente che sia abbastanza forte da esprimere qualsiasi affermazione aritmetica di base non può dimostrare la propria coerenza. D'altra parte, la proprietà di Church-Rosser di un sistema formale (di riscrittura) ci dice che è coerente, …

9 lo.logic type-theory lambda-calculus

1

Perché è richiesto Proof Checker nel Codice di trasporto Proof

Nel classico documento PLDI'98 di Necula, "La progettazione e l'implementazione di un compilatore di certificazione", il verificatore di alto livello utilizza: VCGen per generare condizioni di verifica (predicati di sicurezza) Teorema della logica del primo ordine per dimostrare le condizioni Correttore di prove LF per verificare la prova dal passaggio …

9 proof-theory automated-theorem-proving program-verification

2

Qual è la classe di complessità "più piccola" per la quale un

Credo che le risposte a questa domanda classi dare tale che per tutti i polinomi , c'è un problema nella classe che non ha circuiti di dimensioni . Tuttavia, sto chiedendo informazioni sulla dimensione del circuito .p ( n ) ωpppp ( n )p(n)p(n)ω( n )ω(n)\omega \hspace{.02 in}(n) (⟨00,11, 22,31,44,51,66,71,88,91, …

9 circuit-complexity lower-bounds

1

Il SAT 1-in-3 rimane NP-difficile anche se ogni variabile si presenta sia positivamente che negativamente?

Il problema standard 1-in-3 SAT (o XSAT o X3SAT) è: Istanza : una formula CNF con ogni clausola contenente esattamente 3 valori letterali Domanda : esiste un'assegnazione soddisfacente che imposta esattamente 1 valore letterale per clausola vero? Il problema è NP-completo e rimane difficile anche se nessuna variabile si presenta …

9 cc.complexity-theory np-hardness sat

1

Un oracolo casuale può cambiare quali problemi del TFNP sono mediamente difficili?

Ho pensato alla seguente domanda in varie occasioni da quando ho visto questa domanda sulla crittografia . Domanda Sia RRR una relazione TFNP . Un oracolo casuale può aiutare P / poli a spezzare RRR con probabilità non trascurabile? Più formalmente, \newcommand{\Pr}{\operatorname{Pr}} \newcommand{\E}{\operatorname{\mathbb{E}}} \newcommand{\O}{\mathcal{O}} \newcommand{\Good}{\mathsf{Good}} fa per tutti gli algoritmi …

9 cr.crypto-security relativization advice-and-nonuniformity search-problem random-oracles

1

Stephen Cook ha visto il significato di mostrare che SAT è NP-Hard prima di provarlo?

Se ho capito bene, per dimostrare che il problema è NP difficile, devi selezionare tutti i possibili problemi che sono in NP e quindi dimostrare che si riducono ad usando una funzione calcolabile nel tempo polinomiale, che mappa le istanze di ciascuno alle istanze di .AAABiBiB_{i}AAABiBiB_{i}AAA Una volta trovato il …

9 soft-question ho.history-overview cook-levin

2

Numero di automorfismi di un grafico per isomorfismo grafico

Sia e due grafici collegati -regolari di dimensione . Lasciate l'insieme di permutazioni tale che . Se , allora è l'insieme di automorfismi di .H r n A P P G P - 1 = H G = H A GsolGGHHHrrrnnnUNAAPPPPG P- 1= HPGP−1=HPGP^{-1}=HG = HG=HG=HUNAAsolGG Qual è il limite …

9 reference-request graph-theory co.combinatorics graph-isomorphism gr.group-theory

1

Suddivisione dei bordi in triangoli arcobaleno

Mi chiedo se il seguente problema sia NP-difficile. Immettere: G = ( V, E)G=(V,E)G = (V,E) un grafico semplice e una colorazione f: E→ { 1 , 2 , 3 }f:E→{1,2,3}f : E \to \{1,2,3\} dei bordi ( fff non verifica alcuna proprietà specifica). Domanda: è possibile partizionare EEE in …

9 graph-theory np-hardness

1

Quando un grafico ammette un orientamento in cui c'è al massimo una prima passeggiata?

Considera il seguente problema: Input: un semplice grafico (non orientato) .G = ( V, E)G=(V,E)G=(V,E) Domanda: Esiste un orientamento di soddisfa la proprietà che per ogni esiste al massimo una (diretta) - walk?s , t ∈ V s tsolGGs , t ∈ Vs,t∈Vs,t \in VSssttt Questo può essere equivalentemente espresso …

9 graph-theory directed-acyclic-graph

2

Assegna un nome alla classe del grafico: unione disgiunta di una cricca e un insieme indipendente

Sia un grafico che è l'unione disgiunta di una cricca e un insieme indipendente, cioè solsolGG = Kn1+ Kn2¯¯¯¯¯¯¯¯= Kn1+ In2.sol=Kn1+Kn2¯=Kn1+ion2.G = K_{n_1} + \overline{K_{n_2}} = K_{n_1} + I_{n_2} . La classe di grafici di tutti questi grafici è caratterizzata dai sottografi indotti proibiti impostati ed è quindi l'intersezione di …

9 reference-request graph-theory graph-classes

1

La complessità di questo problema di copertura è nota?

Sia un grafico. Un insieme dei vertici X ⊆ V è chiamato critico se X ≠ ∅ e nessun vertice in V ∖ X è adiacente ad esattamente un vertice in X . Il problema è quello di trovare un insieme dei vertici S ⊆ V di calibro minimo tale …

9 cc.complexity-theory graph-theory co.combinatorics optimization

2

Grandi divari tra RAM e complessità della macchina di Turing

Se consideriamo solo problemi in P, ci sono grandi lacune tra l'algoritmo word-RAM più veloce conosciuto e l'algoritmo Turing machine più veloce conosciuto per problemi particolari? Sono particolarmente interessato se vi sono ampie lacune per problemi naturali di interesse generale.

9 cc.complexity-theory ds.algorithms

2

Esiste una grammatica generativa di dimensione superiore?

Sono interessato alla musica per computer, dove ci sono approcci per trattare i brani musicali come frasi in grammatiche generative o L-sistemi. Invece di comporre, si potrebbe quindi specificare una grammatica e lasciare che il computer generi la musica. Ad esempio, il gruppo di Yale attorno al defunto Paul Hudak …

9 grammars

1

La complessità di questo problema di percorso è nota?

Istanza: un grafico non orientato con due vertici distinti e un numero intero .s ≠ t k ≥ 0GGGs≠ts≠ts\neq tk≥0k≥0k\geq 0 Domanda: Fa esiste una percorso nel , in modo tale che le interseca percorso al massimo triangoli? (Per questo problema si dice che un tracciato interseca un triangolo se …

9 cc.complexity-theory graph-algorithms

2

La prova per la complessità di Kolmogorov è impensabile usando le riduzioni

Sto cercando una prova che la complessità di Kolmogorov è incontestabile usando una riduzione da un altro problema ineccepibile. La prova comune è una formalizzazione del paradosso di Berry piuttosto che una riduzione, ma dovrebbe esserci una prova riducendo da qualcosa come il problema di Halting o il problema di …

9 computability reductions kolmogorov-complexity