Domande taggate «terminology»

Domande su come devono essere comprese le nozioni specifiche e convenzioni di notazione.

2
Le ontologie delle reti semantiche?
Faccio fatica con poche definizioni nella rappresentazione della conoscenza e cerco un aiuto credibile per distinguerle. Ho cercato su Wikipedia e su molti siti web la differenza tra ontologie e reti semantiche (da non confondere con il web semantico). Mentre la pagina di Wikipedia sulla rete semantica non fa mai …
3
Comprensione concreta della differenza tra definizioni di PP e BPP
Sono confuso su come sono definiti PP e BPP . Supponiamo χχ\chi è la funzione caratteristica di un linguaggio LL\mathcal{L} . M essere la probabilistica Turing Machine. Le seguenti definizioni sono corrette: BPP={L:Pr[χ(x)≠M(x)]≥12+ϵ∀x∈L, ϵ>0}BPP={L:Pr[χ(x)≠M(x)]≥12+ϵ∀x∈L, ϵ>0}BPP =\{\mathcal{L} :Pr[\chi(x) \ne M(x)] \geq \frac{1}{2} + \epsilon \quad \forall x \in \mathcal{L},\ \epsilon > …
3
Diagramma a T del Cross Compiler
Sto studiando Bootstrapping da Red Dragon Book Compilers e ho trovato abbastanza confuso il diagramma a T per il compilatore incrociato. Non riesco a capire cosa si intende per "Esegui il compilatore1 attraverso il compilatore2". Qualcuno può fornire qualche spiegazione, analogia o un esempio migliore da mettere in relazione con …
1
Cosa significa dire che una lingua è "effettivamente chiusa" sotto un'operazione?
Ho letto alcuni articoli di teoria del linguaggio formale e ho trovato un termine che non capisco. Il documento farà spesso riferimento a un set "effettivamente chiuso sotto l'intersezione" o ad altre operazioni. Cosa significa "efficacemente" qui? In che cosa differisce dalla normale chiusura? Per riferimento, il documento in cui …
1
Somma sottoinsieme consente multiset?
Nel problema Somma sottoinsieme alcuni dei numeri indicati essere uguali? Ad esempio, potremmo avere e l'obiettivo è ? Posso presumere che ho una soluzione specifica con i numeri e e e non lo è?a1,a2,a3,…,ana1,a2,a3,…,ana_1,a_2,a_3,\dots,a_n[1,1,1,2,3,4][1,1,1,2,3,4][1,1,1,2,3,4]5552223331,1,11,1,11,1,1222
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
Come capire la riduzione dal problema del 3-Coloring al problema generale del -Coloring?
Il problema del 3-Coloring può essere dimostrato NP-Complete facendo uso della riduzione da 3SAT Graph Coloring (da 3SAT) . Di conseguenza, il problema 4-Coloring è NP-Complete usando la riduzione di 3-Coloring: Riduzione dall'istanza 3-Coloring: aggiunta di un vertice extra al grafico del problema 3-Coloring e rendendolo adiacente a tutti i …
2
Gli algoritmi randomizzati sono costruttivi?
Da, le prove con il metodo probabilistico sono spesso definite non costruttive. Tuttavia, una prova con metodo probabilistico in effetti progetta un algoritmo randomizzato e lo usa per dimostrare l'esistenza. Citato da p103 di Alandomith Algorithms di Rajeev Motwani, Prabhakar Raghavan : Potremmo vedere la prova con il metodo probabilistico …
4
Notazione O grande nidificata
Diciamo che ho un grafico |G||G||G| con |E|=O(V2)|E|=O(V2)|E|=O(V^2)bordi. Voglio eseguire BFS susolsolG che ha un tempo di esecuzione di O(V+E)O(V+E)O(V+E). È naturale scrivere che il tempo di esecuzione su questo grafico sarebbe O(O(V2)+V)O(O(V2)+V)O(O(V^2)+V) e quindi semplificare O(V2)O(V2)O(V^2). Ci sono insidie ​​nell'usare una scorciatoia "remove-the-nested-O" (non solo in questo caso, ma …
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.