Bilgisayar Bilimi

Benim sorum hesaplamalı biyoloji algoritmalarıyla ilgilenenlere gidiyor. Bu sonbaharda biyoinformatik üzerine bir ders alacağım; Ancak sorun, biyoloji ve kimyada o ders döngüsü için hazırlıklı hissetmek için çok az geçmişe sahip olmamdır (okulda bu konularda oldukça zayıftım). Biyoinformatiğin odaklandığı doğa bilimleri sorularına iyi bir giriş sağlayacak kitaplar önerebilir misiniz?

11 algorithms  reference-request  education  bioinformatics 

Bir Fibonnaci Yığını aşağıdaki işlemleri destekler: insert(key, data) : veri yapısına yeni bir öğe ekler find-min() : öğeye minimum anahtarla bir işaretçi döndürür delete-min() : öğeyi minimum anahtarla kaldırır delete(node) : ile gösterilen öğeyi siler node decrease-key(node) : ile gösterilen elemanın anahtarını azaltır node Tüm silinmeyen işlemler (itfa edilmiş) süresidir …

11 data-structures  priority-queues 

sınırlı sayıda noktası iki kez farklılaştırılabilir bir eğri istediğimizi , çevresi mümkün olduğunca küçük olacak. ve varsayarsak , bu sorunu şu şekilde resmileştirebilirim: C ( P ) p i p i = ( x i , y i ) x i < x i + 1p1, p2, . . pnp1,p2,..pnp_1,p_2,..p_nC( …

11 complexity-theory  np-hard  optimization  computable-analysis 

K-En Yakın-Komşusunun ana fikri, en yakın noktalarını dikkate alır ve verilerin çoğunluk oyu ile sınıflandırılmasına karar verir. Eğer öyleyse, o zaman daha yüksek boyutlu verilerde problemler olmamalıdır çünkü yöreye duyarlı hash gibi yöntemler en yakın komşuları etkili bir şekilde bulabilir.kkk Buna ek olarak, Bayes ağları ile özellik seçimi verilerin boyutunu …

11 machine-learning  artificial-intelligence 

Bu Udi Manber'in kitabından bir ödev sorusu. Herhangi bir ipucu iyi olurdu :) Bunu göstermeliyim: n ( günlük3( n ) )5= O ( n1.2)n(günlük3⁡(n))5=Ö(n1.2)n(\log_3(n))^5 = O(n^{1.2}) Kitabın Teorem 3.1'ini kullanmayı denedim: f( n )c= O ( af( n ))f(n)c=Ö(birf(n))f(n)^c = O(a^{f(n)}) ( , )a > 1c > 0c>0c > 0a …

11 asymptotics  landau-notation  mathematical-analysis 

Bu, Yığın Denetimi ile ilgili diğer daha gelişmiş sorumun habercisidir . Yığın Denetimi, JVM'de, farklı güven düzeylerine sahip konumlardan kaynaklanan çalışan kodlarla başa çıkmak için sunulan bir güvenlik mekanizmasıdır. Bu soru işlevselliğinin basit bir tanımını bulmayı amaçlamaktadır. Yani: Yığın denetimi nasıl çalışır?

11 terminology  security  stack-inspection 

Simpleks algoritması, doğrusal programlama problemine en uygun çözümü bulmak için, bir polytopun köşelerinde hırsla yürür. Sonuç olarak, cevap her zaman politopun bir köşesidir. İç nokta yöntemleri politopun içinde yürür. Sonuç olarak, tüm bir politop düzlemi optimal olduğunda (objektif işlev düzleme tam olarak paralelse), bu düzlemin ortasında bir çözüm elde edebiliriz. …

11 algorithms  optimization  linear-programming 

Şu anda lambda hesabını öğreniyorum ve aşağıdaki iki farklı lambda terimi yazmayı merak ediyordum. λxy.xyλxy.xy\lambda xy.xy λx.λy.xyλx.λy.xy\lambda x.\lambda y.xy Anlamda veya beta indirgeme yönteminde herhangi bir fark var mı, yoksa aynı şeyi ifade etmenin iki yolu var mı? Özellikle bu çift yaratma tanımı beni meraklandırdı: çifti =λxy.λp.pxyλxy.λp.pxy\lambda xy.\lambda p.pxy

11 logic  lambda-calculus 

Bir süredir kafama dayandığım bir ödevim var ve ipuçlarını takdir ediyorum. NP tamlığı kanıtlanmış bilinen bir problemi seçmekle ve bu problemden aşağıdaki soruna bir azalma oluşturmakla ilgili DGD (yönlendirilmiş grafik teşhisi) diyeceğim. Sorun Dgd bir örneği köşe oluşur , yönlendirilmiş kenarları ve pozitif bir tam sayı . Üç tür köşe …

11 complexity-theory  np-hard  graph-theory 

Yeniden yazma sistemi şeklinde bir dizi kuraldır . Biz bir dizeye bu kuralı uygularsanız w herhangi alt dize yerine A içinde ağırlık bir alt dize ile B tersi ve yardımcısı.A↔BA↔BA \leftrightarrow BwwwAAAwwwBBB Bir başlangıç ​​dizesi verildiğinde, sistemde B A A B'yi aşağıdaki kurallarla türetebiliriz :AAABBAAABBAAABBBAABBAABBAAB A↔BAA↔BAA \leftrightarrow BA BABA↔AABBBABA↔AABBBABA \leftrightarrow …

11 computability  term-rewriting 

Aşağıdaki dile sahibim {0i1j2k∣0≤i≤j≤k}{0i1j2k∣0≤i≤j≤k}\qquad \{0^i 1^j 2^k \mid 0 \leq i \leq j \leq k\} Hangi Chomsky dil sınıfına uyduğunu belirlemeye çalışıyorum. Bağlama duyarlı bir dilbilgisi kullanılarak nasıl yapılabileceğini görebiliyorum, bu yüzden en azından bağlama duyarlı olduğunu biliyorum. Bağlamdan bağımsız bir gramer ile yapmak mümkün olmayacak gibi görünüyor, ancak bunu …

11 formal-languages  context-free  formal-grammars  pumping-lemma 

Bu, bilişsel bilişsel bilimle sınırlanabilir, ancak ortak yol bulma algoritmalarının ( A * gibi ) izlediği sürecin, insanların farklı yol bulma durumlarında (aynı bilgi verildiğinde) kullandıkları süreçle nasıl karşılaştırıldığını merak ediyorum . Bu süreçler benzer mi?

11 algorithms  graphs  artificial-intelligence 

Doğru anlarsam, NFA normal ifadelerle aynı ifade gücüne sahiptir. Genellikle, NFA'dan eşdeğer düzenli ifadeleri okumak kolaydır: döngüleri yıldızlara, kavşaklara alternatif olarak çevirirsiniz. Ancak bu durumda ne yapmalı: [ kaynak ] Çakışan döngüler bu otomatiğin neyi kabul ettiğini görmeyi zorlaştırır (normal ifadeler açısından). Bir hile var mı?

11 algorithms  formal-languages  finite-automata  regular-expressions 

Bir içecek dağıtıcısı kullanıcının bir bozuk para ( ) eklemesini gerektirir , ardından üç düğmeden birine basın: bir bardak çay ister , kahve için aynen ve geri ödeme isteğinde bulunur (yani makine jetonu geri verir: ). Bu dağıtıcı aşağıdaki CCS işlemi ile modellenebilir :c¯c¯\bar cd¯Çayd¯Çay\bar d_{\text{tea}}eÇayeÇaye_{\text{tea}}r¯r¯\bar rb¯b¯\bar b M=d e …

11 logic  concurrency  modelling  process-algebras  ccs 

Pi'nin bazı basamak dizileri olup olmadığı nasıl belirlenebilir ? ππ\pibana aşağıdaki masum görünümlü varyasyonun hesaplanabilir olup olmadığını sormam için ilham verdi: f(n)={10if n¯ occurs in the decimal representation of πotherwisef(n)={1if n¯ occurs in the decimal representation of π0otherwisef(n) = \begin{cases} 1 & \text{if \(\bar n\) occurs in the decimal representation …

11 computability  real-numbers