Informatica teorica

Domande e risposte per teorici informatici e ricercatori in campi correlati

2
Problemi senza alcun vantaggio quantistico noto
Mi chiedevo quale fosse l'elenco degli attuali problemi computazionali naturali per i quali non esiste alcun vantaggio di complessità noto nell'uso di un computer quantistico. Per iniziare, penso che il calcolo della distanza di modifica sia uno per il quale l'algoritmo quantistico più veloce conosciuto sembra essere il classico più …
1
Perché Tomita ha creato GLR e non ha usato Earley?
Quando guardo Earley che analizza, sembra molto elegante e mi chiedo perché le tecniche GLR diventino popolari? Qualcuno sa cosa c'era che non andava in Earley che analizzava il fatto che Tomita avesse creato GLR? Prestazione? Qualsiasi pubblicazione su queste discussioni è molto apprezzata.
11 parsing 
4
Applicazioni di numeri
Esistono esempi concreti (o una ricca fonte di) esempi di applicazione dei numeri -adici nell'informatica?ppp
11 survey 
3
Fa implicano la connettività forte?
Indica con il grado minimo in , e con il grado minimo in.δ+(G)δ+(G)\delta^+(G)GGGδ−(G)δ−(G)\delta^-(G) In una domanda correlata , ho citato l'estensione Ghouila-Houri del teorema di Dirac sui cicli hamiltoniani , che suggerisce che if allora G è hamiltoniano.δ+(G),δ−(G)≥n2δ+(G),δ−(G)≥n2\delta^+(G),\delta^-(G) \geq \frac{n}{2} Nel suo commento, Saeed ha commentato una diversa estensione che …
4
Quali proprietà dei grafici planari si generalizzano a dimensioni / ipergrafi superiori?
Un grafico planare è un grafico che può essere incorporato nel piano, senza bordi incrociati. Sia un ipergrafo k -uniforme, cioè un ipergrafo tale che tutte le sue iperedge abbiano dimensione k.G=(X,E)G=(X,E)G=(X,E)kkk Sono stati fatti alcuni lavori sull'incorporamento di ipergrafi nel piano (con il contesto del clustering o di qualche …
2
Il problema delle N Queens è NP-difficile?
Il problema della regina N è questo: Ingresso: N Output: un posizionamento di N "regine" su una scacchiera NXN in modo tale che non vi siano due regine sulla stessa riga, colonna o diagonale. Facendo una ricerca su Google su questo, ho scoperto che molte diapositive di molti professori affermano …
2
Minimo True Monotone 3SAT
Sono interessato a una variazione SAT in cui la formula CNF è monotona (nessuna variabile viene negata). Tale formula è ovviamente soddisfacente. Ma dire che il numero di variabili vere è una misura di quanto sia buona la nostra soluzione. Quindi abbiamo il seguente problema: MONOTONE VERO MINIMO 3SAT ISTANZA: …
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.