Informatica teorica search-problem

5

Generalizzazioni di ricerca binaria per poset?

Supponiamo che io abbia un poset "S" e un predicato monotonico "P" su S. Voglio trovare uno o tutti gli elementi massimi di S che soddisfano P. EDIT : Sono interessato a ridurre al minimo il numero di valutazioni di P . Quali algoritmi esistono per questo problema e quali …

28 ds.algorithms ds.data-structures partial-order order-theory search-problem

1

Oracle Construction per l'algoritmo di Grover

In "Quantum Computation and Quantum Information" di Mike e Ike, l'algoritmo di Grover è spiegato in dettaglio. Tuttavia, nel libro, e in tutte le spiegazioni che ho trovato online per l'algoritmo di Grover, sembra non esserci alcuna menzione di come sia costruita l'Oracolo di Grover, a meno che non sappiamo …

16 quantum-computing quantum-information oracles search-problem black-box

1

Complessità della versione di ricerca di 2-SAT assumendo

Se , allora c'è un algoritmo che risolve logspace la versione decisionale di 2-SAT.L = N LL=NL\mathsf{L = NL} È implica che esiste un algoritmo di spazio di log per ottenere un incarico soddisfacente , quando viene data un'istanza 2-SAT soddisfacente come input?L = N LL=NL\mathsf{L = NL} In caso …

15 sat search-problem logspace

4

Peggior numero di domande necessarie per imparare un predicato monotonico su un poset

Considera un poset finito su elementi e un predicato monotonico sconosciuto su (cioè, per qualsiasi , , se e quindi ) . Posso valutare fornendo un nodo e scoprendo se valido o meno. Il mio obiettivo è determinare esattamente l'insieme dei nodi modo che valga, usando come poche valutazioni di(X,≤)(X,≤)(X, …

15 ds.algorithms lg.learning partial-order search-problem order-theory

2

Sopra #P e contando i problemi di ricerca

Stavo leggendo l'articolo di Wikipedia sul problema delle otto regine. Si afferma che non esiste una formula nota per il numero esatto di soluzioni. Dopo alcune ricerche, ho trovato un documento intitolato "Sulla durezza del conteggio dei problemi di mappature complete". In questo documento c'è un problema, dimostrato essere al …

14 cc.complexity-theory counting-complexity search-problem

2

L'algoritmo quasipolynomial time Babai in realtà genera l'isomorfismo?

Ho una domanda (si spera semplice, forse stupida) sul documento di riferimento di Babai che mostra che è quasipolinomiale.G Isolio\mathsf{GI} Babai ha mostrato come produrre un certificato che due grafici per sono isomorfi, nel tempo quasipolinomiale in.solio= ( Vio, Eio)solio=(Vio,Eio)G_i=(V_i,E_i)io ∈ { 1 , 2 }io∈{1,2}i\in\{1,2\}v = | Vio|v=|Vio|v=|V_i| Babai …

13 graph-isomorphism search-problem

2

L'esistenza di un problema di ricerca

È facile vedere che se NP∩coNP≠PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq \mathsf{P} allora ci sono problemi di ricerca N P totaliNPNP\mathsf{NP} che non possono essere risolti in tempo polinomiale (creare un problema di ricerca totale avendo sia i testimoni per l'appartenenza che i testimoni per non appartenenza). È vero anche il contrario, cioè L'esistenza …

13 cc.complexity-theory reference-request search-problem

2

PPAD cattura davvero l'idea di trovare un altro vertice sbilanciato?

La classe di complessità PPAD è stata inventata da Christos Papadimitriou nel suo seminale articolo del 1994 . La classe è progettata per catturare la complessità dei problemi di ricerca in cui l'esistenza di una soluzione è garantita da "Argomento di parità nei grafici diretti": se c'è un vertice sbilanciato …

13 cc.complexity-theory reductions search-problem ppad

1

Elementi minimi di un predicato monotonico sopra il powerset

Considera un predicato monotonico sopra il powerset 2 | n | (ordinato per inclusione). Per "monotonico" intendo: ∀ x , y ∈ 2 | n | tale che x ⊂ y , se P ( x ) quindi P ( y ) . Sto cercando un algoritmo per trovare tutti …

12 ds.algorithms ds.data-structures partial-order order-theory search-problem

1

Trova un argmax approssimativo usando solo query massime approssimative

Considera il seguente problema. Ci sono valori sconosciuti v 1 , ⋯ , v n ∈ R . L'attività consiste nel trovare l'indice del più grande utilizzando solo le query del modulo seguente. Una query è specificata da un set S ⊆ { 1 , ⋯ , n } e …

10 approximation-algorithms randomized-algorithms search-problem random-walks binary-trees

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

Domande taggate «search-problem»