Scienza del computer

Domande e risposte per studenti, ricercatori e professionisti dell'informatica

1
NP = coNP implica P = NP?
Sappiamo che P = NP implica NP = coNP. L'implicazione inversa vale? NP equivale a CoNP implica che P è uguale a NP? Se no, perché no? Ho cercato su Google ma non ho trovato la risposta.
2
"Ricerca ternaria" è un termine appropriato per l'algoritmo che ottimizza una funzione unimodale su un intervallo reale?
Supponiamo che io voglia ottimizzare una funzione unimodale definita su un intervallo reale. Posso usare il noto algoritmo come descritto in Wikipedia sotto il nome di ricerca ternaria . Nel caso dell'algoritmo che dimezza ripetutamente gli intervalli, è comune riservare il termine ricerca binaria per problemi discreti e utilizzare altrimenti …
3
limite inferiore sulla memoria ad accesso casuale?
Ecco una domanda forse ingenua che mi ha pizzicato: c'è un Ω(n−−√3)Ω(n3)\Omega(\sqrt[3]{n})limite inferiore asintotico per indirizzare in modo casuale una memoria arbitrariamente grande? La mia causa di convinzione è che il percorso più breve verso qualsiasi memoria immagazzinata fisicamente deve essere attraverso lo spazio tridimensionale e la diagonale qui deve …
2
Velocità dell'algoritmo di Shor
Sono una giovane studiosa di informatica e mi viene chiesto di scrivere un articolo che implichi la fattorizzazione dei numeri interi. Di conseguenza, devo esaminare l'algoritmo di Shor su computer quantistici. Per gli altri algoritmi, sono stato in grado di trovare equazioni specifiche per calcolare il numero di istruzioni dell'algoritmo …
2
Software per testare l'omomorfismo grafico
Ho grafici e con con che superano i controlli di integrità come come lemma senza omomorfismo. Esistono strumenti gratuiti e facili da usare per testare l'omomorfismo grafico da a ?GkGkG_kHkHkH_k|V(Gk)|=|V(Hk)|2k=n2k|V(Gk)|=|V(Hk)|2k=n2k|\mathcal{V}(G_k)|=|\mathcal{V}(H_k)|^{2k}=n^{2k}k∈Nk∈Nk\in\Bbb NGGGHHH
4
Ciclo di peso negativo vs ciclo di peso massimo
Ho difficoltà a capire perché è facile rilevare cicli di peso negativo (Bellman Ford) ma è difficile trovare il ciclo di peso massimo in un grafico non orientato. Se neghiamo il peso di ciascun bordo, possiamo facilmente trovare se ci sono cicli con peso totale> 0. Tuttavia non deve essere …
1
Input di stringhe in Machine Learning
Diversi algoritmi di apprendimento automatico popolari come la regressione logistica o le reti neurali richiedono che i suoi input siano numerici. Quello che mi interessa è come fai in modo che questi algoritmi funzionino su input non numerici (come stringhe brevi). Ad esempio, supponiamo di creare un sistema di classificazione …
1
Verificare la correttezza dell'eliminazione del quantificatore, utilizzando SAT
Permettere x=(x1,…,xn)X=(X1,...,Xn)x=(x_1,\dots,x_n) e y=(y1,…,yn)y=(y1,...,yn)y=(y_1,\dots,y_n) essere nnn-vettori di variabili booleane. Ho un predicato booleanoQ(x,y)Q(X,y)Q(x,y) su x,yX,yx,y. Do al mio amico PriscillaQ(x,y)Q(X,y)Q(x,y). In risposta, mi dàP(x)P(X)P(x), un predicato booleano su xXxe lei lo afferma P(x)≡∃y.Q(x,y),P(X)≡∃y.Q(X,y),P(x) \equiv \exists y . Q(x,y), o in altre parole, quello ∀x.[P(x)⇔∃y.Q(x,y)].∀X.[P(X)⇔∃y.Q(X,y)].\forall x . [P(x) \Leftrightarrow \exists y …
2
Algoritmo di canonizzazione grafico semplice
Sto cercando un algoritmo che fornisca una stringa canonica per un dato grafico colorato. Vale a dire. un algoritmo che restituisce una stringa per un grafico, in modo tale che due grafici ottengano la stessa stringa se e solo se sono isomorfi. In particolare, sto cercando un algoritmo semplice che …
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.