NP çîna zimanên ku xwedan verastkerên dema pirnomî ne
Çîna NP, ku tê wateya "dema pirnomî ya nedetermînîst", têgehek bingehîn e di teoriya tevliheviya hesabkerî de, bineqadek zanistiya komputerê ya teorîkî. Ji bo fêmkirina NP, divê meriv pêşî têgîna pirsgirêkên biryarê, ku pirsên bi bersivek erê-an-na ne, fêm bike. Zimanek di vê çarçoveyê de li ser hinekan rêzek têlan vedibêje
- Weşandin Pîroz, EITC/IS/CCTF Bingehên Teoriya Tevliheviya Hesabkirinê, Tevlîheviyê, Danasîna pejirandina NP û pirjimar
Ma nakokî di navbera pênasekirina NP-ê de wekî çînek pirsgirêkên biryarê yên bi verastkerên polînomî-dem-ê re û rastiya ku pirsgirêkên di pola P-yê de verastkerên dema pirnomî jî hene?
Çîna NP, ku ji bo dema Polynomiya Ne-determînîst radiweste, ji bo teoriya tevliheviya hesabkerî navendî ye û pirsgirêkên biryarê yên ku xwedan verastkerên dema pirnomî ne vedihewîne. Pirsgirêkek biryarê ew e ku bersivek erê-an-na hewce dike, û verastker di vê çarçoveyê de algorîtmayek e ku rastdariya çareseriyek diyarkirî kontrol dike. Girîng e ku meriv di navbera çareserkirinê de ji hev cihê bike
Ma verastker ji bo pola P polînomî ye?
Verastkerek ji bo pola P pirnomî ye. Di warê teoriya tevliheviya hesabkerî de, têgîna verastkirina polînomî di têgihîştina tevliheviya pirsgirêkên hesabker de rolek girîng dilîze. Ji bo bersiva pirsa di dest de, girîng e ku pêşî çînên P û NP diyar bikin. Çîna P, ku wekî "dema polînomî" jî tê zanîn,
- Weşandin Pîroz, EITC/IS/CCTF Bingehên Teoriya Tevliheviya Hesabkirinê, Tevlîheviyê, Danasîna pejirandina NP û pirjimar
Ma dikare Otomatona Dawî ya Nedeterminîstîk (NFA) were bikar anîn da ku veguheztin û kiryarên dewletê di veavakirina dîwarê agir de temsîl bike?
Di çarçoweya veavakirina dîwarê agir de, Otomatîkek Dawî ya Ne-Deterministic (NFA) dikare were bikar anîn da ku veguheztin û kiryarên dewletê yên têkildar temsîl bike. Lêbelê, girîng e ku bala xwe bidinê ku NFA bi gelemperî di mîhengên dîwarê agir de nayên bikar anîn, lê bêtir di analîza teorîkî ya tevliheviya hesabkerî û teoriya zimanê fermî de têne bikar anîn. NFA matematîkî ye
- Weşandin Pîroz, EITC/IS/CCTF Bingehên Teoriya Tevliheviya Hesabkirinê, Makîneyên Dewleta Dawî, Danasîna Makîneyên Dewleta Dawî ya Nondetermînîst
Bikaranîna sê kasetan di TN-ya pirtengî de bi dema kasêta yekane t2 (çargoşe) an t3 (kube) re wekhev e? Bi gotineke din gelo tevliheviya demê rasterast bi hejmara kasetan re têkildar e?
Bikaranîna sê kasetan di makîneyek Turing (MTM) ya pir-tape de ne hewce ye ku bibe sedema tevliheviya wextê ya t2 (çargoşe) an t3 (kube). Tevliheviya demê ya modelek hesabkerî ji hêla hejmara gavên ku ji bo çareserkirina pirsgirêkek hewce ne tê destnîşankirin, û ew rasterast bi hejmara kasetên ku di
Ger nirxa di pênaseya xala sabît de sînorê sepana dubare ya fonksiyonê be, gelo em dikarin jê re hîn jî wekî xalek sabît bi nav bikin? Di mînaka nîşandayî de heke li şûna 4->4-ê me 4->3.9, 3.9->3.99, 3.99->3.999 hebe, ... ma 4 dîsa jî xala sabît e?
Têgîna xalek sabît di çarçoveya teoriya tevliheviya hesabkerî û vegerandinê de xalek girîng e. Ji bo ku em bersiva pirsa we bidin, bila em pêşî diyar bikin ka xalek sabît çi ye. Di matematîkê de, xala sabit a fonksiyonê ew xalek e ku ji hêla fonksiyonê ve nayê guhertin. Bi gotineke din, eger
- Weşandin Pîroz, EITC/IS/CCTF Bingehên Teoriya Tevliheviya Hesabkirinê, Recursion, Teorema Xala Fixed
Pîvana PDA-ê çiqas mezin e û mezinahî û kûrahiya wê çi diyar dike?
Mezinahiya stikê di Pushdown Otomaton (PDA) de aliyek girîng e ku hêz û kapasîteyên hesabkirinê yên otomatê diyar dike. Stack hêmanek bingehîn a PDA-yê ye, ku dihêle ew di dema hesabê xwe de agahdarî hilîne û bistîne. Ka em têgîna stackê di PDA de bikolin, nîqaş bikin
- Weşandin Pîroz, EITC/IS/CCTF Bingehên Teoriya Tevliheviya Hesabkirinê, Pushdown Automata, PDA: Otomatîkên Pushdown
Ji bo naskirina Type-0 rêbazên heyî hene? Ma em li bendê ne ku komputerên quantum wê pêkan bikin?
Zimanên tîp-0, ku wekî zimanên bi paşvejimarî jî têne zanîn, di hiyerarşiya Chomsky de çîna herî giştî ya zimanan in. Van zimanan ji hêla makîneyên Turing ve têne nas kirin ku dikarin her rêzika têketinê qebûl bikin an red bikin. Bi gotineke din, zimanek Tîpa-0 e heke makîneyek Turing hebe ku di nav rêzekê de rawestîne û qebûl bike.
Çima LR(k) û LL(k) ne hevwate ne?
LR(k) û LL(k) du algorîtmayên parskirinê yên cihêreng in ku di warê teoriya tevliheviya hesabkirinê de têne bikar anîn da ku rêzimanên bê çarçove analîz bikin û pêvajoyê bikin. Digel ku her du algorîtma ji bo birêvebirina heman rêzimanan hatine sêwirandin, ew di nêzîkatî û kapasîteyên xwe de ji hev cûda dibin, ku rê li ber nehevsengiya wan vedike. Algorîtmaya parskirina LR(k) nêzîkatiyek jêrîn-jor e, tê wateya wê
Ma çînek pirsgirêkan heye ku ji hêla TM-ya diyarker ve bi sînordariyek tenê kaseta şopandinê di riya rast de û çu carî venegere (çep) ve were vegotin?
Makîneyên Turingê yên Determînîst (DTM) modelên hesabker in ku dikarin ji bo çareserkirina pirsgirêkên cihêreng bikar bînin. Tevgera DTM-ê ji hêla komek dewletan, alfabeyek tape, fonksiyonek veguhêz û rewşên destpêkê û dawî ve tê destnîşankirin. Di warê teoriya tevliheviya hesabkirinê de, tevliheviya demê ya pirsgirêkê pir caran tê analîz kirin