Sto studiando per un esame AI e sto cercando un modo migliore per risolvere il seguente problema: Il grafico mostra un problema di classificazione nel quadrato dell'unità , in cui la classe A è indicata dall'area grigia nella figura (esclusi i punti sulle linee tratteggiate) e la classe B si …
Non si ritiene che la soddisfazione generale (con poche eccezioni come le clausole di Horn) abbia una soluzione algoritmica. Tuttavia, il seguente algoritmo sembra essere una soluzione per la soddisfazione generale. Qual è esattamente il difetto con il seguente algoritmo? Sia un insieme vuoto che conterrà tutte le variabili che …
Vorrei il tuo aiuto per dimostrare che la lingua L = { ⟨ M⟩ | L ( M) ∈ N P ∖ P }L={⟨M⟩|L(M)∈NP∖P}L=\{\langle M \rangle \mathrel| L(M) \in \mathrm{NP}\smallsetminus \mathrm{P} \} è decidibile iff P = N PP=NP\mathrm{P}=\mathrm{NP}. Se P = N PP=NP\mathrm{P}=\mathrm{NP}, Capisco che è il linguaggio delle …
Dimostralo L={an2|n≥0}L={an2|n≥0}L=\{a^{n^2} | n \geq 0\} non è regolare Hey ragazzi. Sto prendendo un corso di CS e questa roba è davvero nuova per me, quindi abbiate pazienza. Ho cercato di capire se ho delle contraddizioni usando il lemma del pompaggio per le lingue normali e ho risolto in questo …
È la lingua L = { a , b}*∖ { (un'nBn)n∣ n ≥ 1 }L={a,b}∗∖{(anbn)n∣n≥1}L = \{a,b\}^* \setminus \{(a^nb^n)^n\mid n \geq1 \} context-free? Credo che la risposta sia che non è un CFL, ma non posso provarlo con il lemma di Ogden o il lemma di pompaggio.
Prendiamo la sequenza di numeri interi da a e li spingiamo su uno stack uno per uno in ordine. Tra ogni push, possiamo scegliere di estrarre qualsiasi numero di oggetti dalla pila (da 0 alla dimensione corrente della pila).111nnn Ogni volta che estraiamo un valore dalla pila, lo stamperemo. Ad …
Data una sequenza di numeri naturali, è possibile aggiungere qualsiasi numero naturale a qualsiasi numero nella sequenza in modo tale che il loro xor diventi zero. Il mio obiettivo è ridurre al minimo la somma dei numeri aggiunti. Considera i seguenti esempi: Per la risposta è ; aggiungendo a otteniamo …
Sto cercando un testo di riferimento sulla teoria dei grafi applicata e sugli algoritmi dei grafi. Esiste un testo standard utilizzato nella maggior parte dei programmi di informatica? In caso contrario, quali sono i testi più rispettati nel campo? Ho Cormen et al.
Non sono sicuro di vederlo. Da quello che ho capito, bordi e vertici sono complementari l'uno per l'altro ed è abbastanza sorprendente che questa differenza esista. C'è un modo buono / veloce / facile per vedere che in effetti trovare un sentiero hamiltoniano dovrebbe essere molto più difficile che trovare …
Mark vive in un piccolo paese popolato da persone che tendono a pensare troppo alle cose. Un giorno, il re del paese decide di ridisegnare la valuta del paese per rendere il cambiamento più efficiente. Il re vuole ridurre al minimo il numero previsto di monete necessarie per pagare esattamente …
Supponiamo che ci venga fornito un elenco di nnn punti, di cui xxx e yyyle coordinate sono tutte non negative. Supponiamo anche che non ci siano punti duplicati. Possiamo solo andare dal punto(xi,yi)(xi,yi)(x_i, y_i) indicare (xj,yj)(xj,yj)(x_j, y_j) Se xi≤xjxi≤xjx_i \le x_j e yi≤yjyi≤yjy_i \le y_j. La domanda è: dati questinnnpunti, …
La mia configurazione è simile a questa: ho una sequenza di insiemi di numeri interi , conrelativamente piccolo - nell'ordine di quattro o cinque articoli per tutti . Voglio scegliere una sequenza con ogni tale che la variazione totale (o o , cioè o ) è ridotto a icona. Mentre …
In Cormen et. al., Introduzione agli algoritmi (3a ed.), non ottengo una linea nella dimostrazione di Lemma 26.1 che afferma che il flusso aumentatof↑f′f↑f′f\uparrow f' è un flusso in GsolG ed è st |f↑f'| = |f| +|f'||f↑f'|=|f|+|f'||f\uparrow f'| =|f|+|f'| (questo è pp. 717-718). La mia confusione: quando discutono di conservazione …
Forse mi manca qualcosa di ovvio, ma può essere che P = co-NP ⊊⊊\subsetneqNP o viceversa? La mia sensazione è che ci deve essere un teorema che esclude questa possibilità.
Le macchine di Turing hanno un alfabeto simbolico formale, una descrizione basata su regole di transizione e stato di come viene fatto un calcolo. Il modello di attore è talvolta menzionato come un modello computazionale più potente rispetto alle macchine di Turing (non in ciò che può calcolare, ma in …
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.