Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

10
Grandi algoritmi, apprendimento automatico e nessuna algebra lineare
Insegno un corso di algoritmi avanzati e vorrei includere alcuni argomenti relativi all'apprendimento automatico che saranno di interesse per i miei studenti. Di conseguenza, vorrei sentire l'opinione della gente sui risultati algoritmici più interessanti / attualmente più interessanti nell'apprendimento automatico. Il vincolo potenzialmente complicato è che gli studenti non avranno …
3
Giustificazione del log f nel teorema della gerarchia DTIME
Se guardiamo al teorema della gerarchia DTIME, abbiamo un registro a causa del sovraccarico nella simulazione di una Turing Machine deterministica da parte di una macchina universale: DTIME(flogf)⊊DTIME(f)DTIME(flog⁡f)⊊DTIME(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) Non abbiamo questo tipo di overhead per NTIME di DSPACE. Una giustificazione di base deriva dai dettagli della dimostrazione …
2
Gerarchie in NP (presupponendo che P! = NP)
Supponendo che P! = NP, credo che sia stato dimostrato che ci sono problemi che non sono in P e non NP-Complete. Si ipotizza che l'isomorfismo grafico sia un tale problema. Esistono prove di più di questi "strati" in NP? cioè una gerarchia di più di tre classi che iniziano …
2
È {
È la lingua { } senza contesto o no?aibjck | i≠j,i≠k,j≠kaibjck | i≠j,i≠k,j≠ka^{i}b^{j}c^{k} ~|~ i \neq j, i \neq k, j \neq k Mi sono reso conto di aver incontrato quasi tutte le varianti di questa domanda con condizioni diverse sulla relazione tra i, je k, ma non questa. La …
7
Dovremmo considerare
Molti esperti ritengono che la congettura sia vera e la usano nei loro risultati. La mia preoccupazione è che la complessità dipenda fortemente dalla congettura P ≠ N P.P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} Quindi la mia domanda è: Finché la congettura non è provata, si può / si dovrebbe considerare …
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 …
4
Esistono macchine "piccole" che possono abbinare efficacemente le espressioni regolari?
È noto che un'espressione regolare può essere riconosciuta da un automa finito non deterministico di dimensioni proporzionali all'espressione regolare, o da un FA deterministico che è potenzialmente esponenzialmente più grande. Inoltre, data una stringa ed una regular expression , NFA può testare l'appartenenza a tempo proporzionale ae il DFA può …
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.