Non sono informato nell'area della teoria della complessità che coinvolge gruppi, quindi mi scuso se questo è un risultato ben noto. Domanda 1. Sia un semplice grafico non orientato dell'ordine n . Qual è la complessità computazionale (in termini di nGGGnnnnnn ) nel determinare se è un vertice transitivo?GGG Ricordiamo …
Supponiamo che, per ogni , vi sia una macchina di Turing che decide una lingua nel tempo . Esiste un singolo algoritmo che decide nel tempo ? (Qui, il termine viene misurato in termini di , la lunghezza di input.)ϵ>0ϵ>0\epsilon > 0MϵMϵM_{\epsilon}LLLO(na+ϵ)O(na+ϵ)O(n^{a + \epsilon})LLLO(na+o(1))O(na+o(1))O(n^{a + o(1)})o(1)o(1)o(1)nnn Fa differenza se gli …
Nel problema di imballaggio rettangolare, uno è dato un insieme di rettangoli e rettangolo . Il compito è trovare un posizionamento di all'interno di tale che nessuno degli rettangoli si sovrapponga. Generalmente, l'orientamento di ciascun rettangolo è fisso. Cioè, i rettangoli non possono essere ruotati. In questo caso, è noto …
Non è noto se grafi (GI) per grafi fortemente regolari (SRGS) è in P . Ci sono suggerimenti che potrebbe o non potrebbe essere GI -Complete? Ci sono conseguenze forti in questi casi? (Simile alla convinzione che GI potrebbe non essere NP-Complete).
Mi chiedevo se i problemi per i quali esistono algoritmi di tempo sublineare (nella dimensione di input) possano essere caratterizzati da proprietà specifiche. Ciò include tempo sublineare (ad es. Test di proprietà, una nozione alternativa di approssimazione per problemi di decisione), spazio sublineare (ad es. Algoritmi di sketch / streaming …
Sono interessato a questo problema: dato un grafico non orientato , esiste una partizione di nei grafici e tale che e siano isomorfi?G ( E, V)sol(E,V)G(E, V)G 1 ( E 1 , V 1 ) G 2 ( E 2 , V 2 ) G 1 G 2solsolGsol1(E1,V1)G1(E1,V1)G_1(E_1, V_1)G2(E2,V2)G2(E2,V2)G_2(E_2, V_2)G1G1G_1G2G2G_2 …
Per un classico risultato di Kuroda, la classe di complessità NSPACE [ ]nnn (nota anche come NLIN-SPACE) è precisamente la classe CSL dei linguaggi sensibili al contesto . Il problema della soddisfacibilità SAT si trova in NSPACE [ ], dal momento che un'ipotesi lineare per una soluzione può essere verificata …
Qual è il numero minimo di gate binari necessari per calcolare AND e OR di bit di input contemporaneamente? Il limite superiore banale è . Credo che sia ottimale, ma come dimostrarlo? La tecnica standard di eliminazione del gate non funziona qui poiché assegnando una costante a una qualsiasi delle …
Sto cercando un problema che appartiene a ΣP2Σ2P\mathsf{\Sigma^P_2} nei grafici generali ma è in nei grafici con larghezza dell'albero limitata, infatti penso che questi problemi siano più difficili rispetto all'utilizzo della normale programmazione dinamica nei grafici con larghezza degli alberi limitata per risolverli.PP\mathsf{P}
È 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 …
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 …
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 …
È 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, …
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 …
Una funzione f:{0,1}∗→{0,1}∗f:{0,1}∗→{0,1}∗f \colon \{0, 1\}^* \to \{0, 1\}^* è unidirezionale se fff può essere calcolata da un algoritmo temporale polinomiale, ma per ogni algoritmo temporale polinomiale randomizzato AAA , Pr[f(A(f(x)))=f(x)]<1/p(n)Pr[f(A(f(x)))=f(x)]<1/p(n)\Pr[f(A(f(x))) = f(x)] < 1/p(n) per ogni polinomio e sufficientemente grande , assumendo che è scelto uniformemente da . La …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.