Domande taggate «polynomial-time»

2
Quali classi di programmi matematici possono essere risolti esattamente o approssimativamente, in tempi polinomiali?
Sono piuttosto confuso dalla letteratura sull'ottimizzazione continua e dalla letteratura TCS su quali tipi di programmi matematici (continui) (MP) possano essere risolti in modo efficiente e quali no. La comunità di ottimizzazione continua sembra affermare che tutti i programmi convessi possono essere risolti in modo efficiente, ma credo che la …
2
Esiste un algoritmo temporale polinomiale per determinare se l'intervallo di un insieme di matrici contiene una matrice di permutazione?
Vorrei trovare un algoritmo temporale polinomiale che determina se l'intervallo di un determinato set di matrici contiene una matrice di permutazione. Se qualcuno sa se questo problema è di una diversa classe di complessità, sarebbe altrettanto utile. EDIT: Ho taggato questa domanda con Linear Programming, perché ho il forte sospetto …
1
Può
Considera la lingua EQUALITY={anbn∣n≥0}EQUALITY={anbn∣n≥0} \mathtt{EQUALITY} = \{ a^nb^n \mid n \geq 0 \} . È noto che EQUALITYEQUALITY \mathtt{EQUALITY} non può essere riconosciuto da nessuna macchina di Turing (ATM) con spazio sublogaritmico (ATM)(Szepietowski, 1994). (C'è un bancomat che utilizza lo spazio sublogaritmico per i membri ma non per tutti i …
3
Quanto velocemente possiamo risolvere un programma lineare intero totalmente unimodulare?
(Questo è un seguito a questa domanda e alla sua risposta .) Ho il seguente programma intero lineare unimodulare (TU). Qui sono tutti numeri interi positivi indicati come parte dell'input. Un sottoinsieme specificato delle variabili è impostato su zero e il resto può assumere valori integrali positivi:x i jℓ , …
5
Quali notevoli modelli di automi hanno un contenimento polinomiale decidibile?
Sto cercando di risolvere un problema particolare e ho pensato di poterlo risolvere usando la teoria degli automi. Mi chiedo, quali modelli di automi hanno contenimento decidibile in tempo polinomiale? cioè se hai macchine puoi verificare se efficiente.M1,M2M1,M2M_1, M_2L(M1)⊆L(M2)L(M1)⊆L(M2)L(M_1) \subseteq L(M_2) Gli ovvi che vengono in mente sono i DFA …
2
Dato un grafico libero di 4 cicli , possiamo determinare se ha un tempo di 3 cicli in tempo quadratico?
Il problema -cycle è il seguente:KKk Istanza: un grafico non orientato con vertici e fino a n \ scegli 2 spigoli.solsolGnnn( n2)(n2)n \choose 2 Domanda: esiste un KKk cycle (corretto) in solsolG ? Sfondo: per qualsiasi k fisso KKk, possiamo risolvere il ciclo 2 k2K2k nel tempo O ( n2)O(n2)O(n^2) …
4
L'equivalenza eta per le funzioni è compatibile con l'operazione seq di Haskell?
Lemma: Supponendo che eta-equivalenza lo abbiamo (\x -> ⊥) = ⊥ :: A -> B. Prova: ⊥ = (\x -> ⊥ x)per eta-equivalenza e (\x -> ⊥ x) = (\x -> ⊥)per riduzione sotto la lambda. Il rapporto Haskell 2010, sezione 6.2 specifica la seqfunzione con due equazioni: seq :: …
3
P contiene linguaggi la cui esistenza è indipendente da PA o ZFC? (Wiki della community TCS)
Risposta: non nota. Le domande poste sono naturali, aperte e apparentemente difficili; la domanda ora è un wiki della comunità. Panoramica La domanda cerca di dividere le lingue appartenenti alla classe di complessità PPP - insieme alle macchine di Turing (TM) che accettano queste lingue - in due sottoclassi complementari: …
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.