Il mio obiettivo è risolvere il seguente problema, che ho descritto dal suo input e output: Ingresso: Un grafico aciclico diretto con nodi , fonti e sink ( ).solsolGmmmnnn111m > n ≥ 1m>n≥1m > n \geq 1 Produzione: Il VC-dimensione (o una sua approssimazione) per la rete neurale con topologia …
Continuo a trovare riferimenti a punti fissi in domande e risposte su stackexchange e cerco il significato sul web trovando ovviamente riferimenti in siti come Wikipedia. Tuttavia nessuno dei riferimenti risponde alla mia domanda su cosa sia un punto fisso e cosa significhi nel mondo dell'informatica.
Abbiamo la logica Hoare. Perché è ancora possibile che un algoritmo sia giusto ma non ci sono prove che sia corretto? Supponiamo che l'algoritmo sia espresso in C. Quindi possiamo argomentare passo dopo passo che sta facendo quello che dovrebbe fare. Quindi la mia domanda è: Fammi un esempio di …
Nel documento "Un tipo di dati JSON replicato senza conflitti" , ho riscontrato questa notazione per la definizione formale di "regole": Come si chiama questa notazione? Come lo leggo? Per esempio: la DOCregola non ha nulla nel suo "numeratore" - perché no? le regole EXECe GETsembrano avere due termini separati …
Vuoi migliorare questo post? Fornisci risposte dettagliate a questa domanda, comprese le citazioni e una spiegazione del perché la tua risposta è corretta. Le risposte senza dettagli sufficienti possono essere modificate o eliminate. Abbiamo letto degli algoritmi per MST, connettività avanzata, routing, ecc. Nei grafici diretti. Inoltre, recentemente le persone …
Grazie al teorema del taglio minimo del flusso massimo, sappiamo che possiamo usare qualsiasi algoritmo per calcolare un flusso massimo in un grafico di rete per calcolare un taglio -min-taglio. Pertanto, la complessità del calcolo di un taglio minimo ( s , t ) non è altro che la complessità …
Il problema dell'arresto non può essere risolto nel caso generale. È possibile elaborare regole definite che limitano gli input consentiti e il problema di arresto può essere risolto per quel caso speciale? Ad esempio, sembra probabile che un linguaggio che non consente i loop, per esempio, sarebbe molto facile dire …
Esiste una funzione calcolabile f: N → Qf:N→Qf:\mathbb{N}\rightarrow \mathbb{Q} tale che: Per tutte t ∈ N : 0 ≤ f( t ) < Xt∈N:0≤f(t)<Xt\in\mathbb{N}: 0\le f(t) < X limt → ∞f(t)=Xlimt→∞f(t)=X\lim\limits_{t\rightarrow\infty} f(t) = X Dove è un numero reale indiscutibile.XXX L'unico riferimento a questa domanda che ho trovato è stata …
Una macchina Turing senza la capacità di scrivere su celle vuote è meno potente della normale Turing? Penso che la risposta sia sì, ma non sono in grado di trovare un calcolo che la macchina di Turing standard può fare ma questa macchina non può. Qualche idea?
Se esiste un algoritmo in esecuzione nel tempo per qualche problema A, e qualcuno trova un algoritmo in esecuzione nel tempo, , dove , è considerato un miglioramento rispetto all'algoritmo precedente?O ( f( n ) )O(f(n))O(f(n))O ( f( n ) / g( n ) )O(f(n)/g(n))O(f(n)/g(n))g( n ) = o ( …
Dopo il rilascio della libreria AIGER per la gestione dei grafici e degli inverter nel 2006 (credo), alcuni solutori di circuiti SAT sono stati rilasciati nel 2006-2008, e in alcune gare / gare SAT c'erano tracce AIG. Tuttavia, da allora sembra che l'attenzione sia stata interamente focalizzata su SMT o …
Può una grammatica senza contesto includere "stati morti" da un automa, come G=({a,b,c},{A,B,C},{A→aB,B→b,B→C,C→cC},A)?G=({a,b,c},{A,B,C},{A→aB,B→b,B→C,C→cC},A)?G = \big(\{a, b, c\}, \{A, B, C\}, \{A\to aB, B\to b, B\to C, C\to cC\}, A\big)\,? Le regole di produzione da e C → c C verranno ripetute per sempre e non genereranno mai una parola. È …
Sono nuovo alla teoria del linguaggio di programmazione. Stavo guardando alcune lezioni online in cui l'istruttore sosteneva che una funzione con tipo polimorfico forall t: Type, t->tfosse l'identità, ma non spiegava perché. Qualcuno può spiegarmi perché? Forse una prova dell'affermazione dei primi principi.
Ambientazione: espressioni regolari con riferimenti secondari lingua unaria (alfabeto a 1 simbolo) È il seguente problema decidibile in questa impostazione: Data un'espressione regolare con riferimenti secondari, definisce una lingua regolare? Ad esempio, (aa+)\1definisce una lingua normale, mentre (aa+)\1+non lo fa. Possiamo decidere quale è il caso? Per concretezza, "espressioni regolari …
Ho un problema decisionale NP-completo. Data un'istanza del problema, vorrei progettare un algoritmo che genera SÌ, se il problema è fattibile e, NO, altrimenti. (Naturalmente, se l'algoritmo non è ottimale, commetterà errori.) Non riesco a trovare alcun algoritmo di approssimazione per tali problemi. Stavo cercando specificamente SAT e ho trovato …
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.