Indica con wnwnw_n il numero di parole di lunghezza nnn in un linguaggio (forse ambiguo) senza contesto. Cosa si sa di wnwnw_n ? Sono sicuro che questo è stato studiato molto, ma non sono riuscito a trovare nulla.
Richiama il numero di numeri primi è la funzione di conteggio dei primi . Con "PRIMES in P", computing è in #P. Il problema # P è completo? O, forse, c'è una ragione di complessità per credere che questo problema non sia # P-completo? π(n)π(n)\pi(n)≤n≤n\le nπ(n)π(n)\pi(n) PS Mi rendo conto …
Supponiamo che un linguaggio LLL sia P -density-close se esiste un algoritmo temporale polinomiale che decide correttamente LLL su quasi tutti gli input. A∈A∈A\in LΔALΔAL\Delta AALLlimn→∞|(LΔA)∩{0,1}n|2n=0.limn→∞|(LΔA)∩{0,1}n|2n=0.\lim_{n\rightarrow\infty} \frac{|(L\Delta A) \cap \{0,1\}^n|}{2^n}=0.AAALLLLLL Si noti che non deve essere scarso. Ad esempio, se ha stringhe -bit, allora sta ancora svanendo (a una velocità …
Wikipedia fornisce esempi di problemi in cui la versione di conteggio è difficile, mentre la versione di decisione è semplice. Alcuni di questi contano gli abbinamenti perfetti, contando il numero di soluzioni su SAT e il numero di ordinamenti topologici.222 Ci sono altre classi importanti (ad esempio esempi in reticoli, …
L'apparente inutilità del mining di criptovaluta ha sollevato la questione delle alternative utili, vedi queste domande su Bitcoin , CST , MO . Mi chiedo se esiste un algoritmo in grado di convertire praticamente qualsiasi sfida computazionale (la cui soluzione può essere verificata in modo efficiente) in un'altra tale sfida …
Ho due domande storiche: Chi ha descritto per primo il calcolo non deterministico? So che Cook ha descritto problemi NP-completi e che Edmonds ha proposto che gli algoritmi P siano algoritmi "efficienti" o "buoni". Ho cercato questo articolo di Wikipedia e ho scremato "Sulla complessità computazionale degli algoritmi", ma non …
È noto che i palindromi possono essere riconosciuti in tempo lineare su macchine Turing a velocità, ma non su macchine Turing a nastro singolo (nel qual caso il tempo necessario è quadratico). L'algoritmo del tempo lineare utilizza una copia dell'input e quindi utilizza anche uno spazio lineare.222 Possiamo riconoscere i …
Un artiglio è un . Un banale algoritmo rileverà un artiglio nel tempo . Può essere fatto in , dove è l'esponente della moltiplicazione della matrice veloce, come segue: prendi il sottografo indotto da per ciascun vertice , e trova un triangolo in il suo complemento. O ( n 4 …
Quanto dovrebbe essere veloce un algoritmo non deterministico per un problema completo EXPTIME per implicare ? Un algoritmo non deterministico di tempo polinomico implicherebbe immediatamente questo perché ma nessuno crede . Se avessi fatto l'algebra a destra (vedi sotto) il teorema della gerarchia temporale darebbe comunque l' implicazione per tempi …
(Questa domanda è un po 'un "sondaggio".) Attualmente sto lavorando a un problema in cui sto cercando di dividere i bordi di un torneo in due set, entrambi necessari per soddisfare alcune proprietà strutturali. Il problema "sembra" piuttosto difficile, e mi aspetto pienamente che sia completo qualche motivo, ho difficoltà …
Date le espressioni regolari R1,…,RnR1,…,RnR_1, \dots, R_n , ci sono limiti non banali sulla dimensione della più piccola grammatica senza contesto per ?R1∩⋯∩RnR1∩⋯∩RnR_1 \cap \cdots \cap R_n
Lascia che sia la classe di tutte le lingue normali.REGREG\mathsf{REG} È noto e \ mathsf {REG} \ not \ subset \ mathsf {AC} ^ 0 . Ma c'è qualche caratterizzazione per le lingue in \ mathsf {AC} ^ 0 \ cap \ mathsf {REG} ?AC0⊄REGAC0⊄REG\mathsf{AC}^0 \not\subset \mathsf{REG}REG⊄AC0REG⊄AC0\mathsf{REG} \not\subset \mathsf{AC}^0AC0∩REGAC0∩REG\mathsf{AC}^0 \cap …
Mentre il teorema di Adleman mostra che , non sono a conoscenza di alcuna letteratura che indaga sulla possibile inclusione di . Quali conseguenze teoriche della complessità avrebbe una tale inclusione?B Q P ⊆ P / poliB P P ⊆ P / poliBPP⊆P/poly\mathsf{BPP} \subseteq \mathsf{P}/\text{poly}B Q P ⊆ P / …
Il grafico a linee di un ipergrafo è il (semplice) grafico con bordi di poiché vertici con due bordi di sono adiacenti in se hanno intersezione non vuota. Un ipergrafo è un -hypergraph se ciascuno dei suoi bordi ha al massimo vertici.G H H G r rHHHGGGHHHHHHGGGrrrrrr Qual è la …
Dato un insieme di famiglia FF\mathcal{F} di sottoinsiemi di un universo UUU . Sia S1,S2∈FS1,S2∈FS_1,S_2 \in \mathcal F e vogliamo rispondere è S1⊆S2S1⊆S2S_1 \subseteq S_2 . Sto cercando una struttura di dati che mi permetta di rispondere rapidamente. La mia applicazione proviene dalla teoria dei grafi dove voglio vedere se …
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.