«topology» etiketlenmiş sorular

Lütfen normalde bilgisayar bilimlerinde uygulandığı düşünülen matematik teorisinin ilk önce bilgisayar bilimi sonucunu kanıtlamak için kullanıldığı örnekleri listeleyiniz. En iyi örnekler, bağlantının açık olmadığı yerlerdir, ancak bir kez keşfedildikten sonra, açıkça yapmanın "doğru yolu" dur. Bu, TCS'nin klasik matematiğe uygulamaları sorusunun tam tersi mi? Örneğin, "Green'in Teori ve Düzlemsel Grafiklerde …

74 reference-request  soft-question  big-list  topology 

Bilgisayar Bilimi alanındaki Topoloji uygulamaları hakkında bir anket yazmak istiyorum. Bilgisayar Bilimleri alanındaki topolojik fikirlerin tarihçesini ele almayı ve bazı güncel gelişmeleri vurgulamayı düşünüyorum. Aşağıdaki sorulardan herhangi biri hakkında bilgi verebilecek olmanız son derece yardımcı olacaktır. Bilgisayar Bilimlerinde topoloji kullanımının kronolojisini tanımlayan herhangi bir makale veya not var mı? Topolojideki …

61 reference-request  ho.history-overview  topology  survey 

İşte çözmeyi başaramadığım bir bilmece. Bu sorunun zaten bilinip bilinmediğini veya kolay bir çözümü olup olmadığını bilmek istiyorum. Bcartesian kapalı kategorilerinin özelliklerini kullanarak bijeksiyonunu tanımlamak mümkündür . Andrej Bauer, blogunda bunun " Yapıcı mücevher: üstelleri hokkabazlık " olarak tanımladığını açıkladı .3N-≅5N-3N≅5N 3^\mathbb{N} \cong 5^\mathbb{N} Bu önyükleme ilginç bir özelliğe sahiptir: …

28 puzzles  ct.category-theory  topology 

Neden "topolojik sıralama" "topolojik" olarak adlandırılıyor? Sadece herhangi bir köşeyi veya kenarı değiştirmeden bir sipariş belirlediği için mi - bir çörek ve kahve fincanı gibi topolojik olarak eşdeğer mi? Neden buna "bağımlılık sıralama" ya da başka bir şey denmiyor? Neden "topolojik"? İtiraf ettiğimi itiraf ediyorum.

28 graph-theory  graph-algorithms  directed-acyclic-graph  topology 

Topoloji üzerine bir ders alan bir bilgisayar bilimcisiyim (süreklilik teorisi ile yoğun şekilde tatlandırılmış bir nokta-noktası topoloji serpme). Topolojik özellikler için bir mekanın (basit bir şekilde) açıklamasını test eden karar problemleriyle ilgilenmeye başladım; Homeomorfizma korunmuş olanlar. Örneğin, bir düğümün cinsinin belirlenmesinin PSPACE içerisinde olduğu ve NP-Sert olduğu bilinmektedir. (Agol 2006; …

27 cc.complexity-theory  big-list  topology 

Adyabatik kuantum hesaplamasında (AQC), çözüm [problem] Hamiltonian temel durumunda bir optimizasyon problemine . Bu temel hale almak için, Hamilton ile kolayca soğutulabilir başlangıç (zemin) durumunda başlatılacak doğru ve "tavlama" (adyabatik karıştırmayı) , yaniH i H p'HpHpH_p'HbenHiH_i'HpHpH_p 'H( S ) = s , Hben+ ( 1 - s ) HpH(s)=sHi+(1−s)Hp H(s) …

19 reference-request  quantum-computing  physics  topology 

Gerçeklenebilirlik sorun, tabii ki, teorik CS temel bir sorundur. Sorunun bir versiyonuyla sonsuz sayıda değişkenle oynuyordum.\newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Temel kurulum. boş olmayan ve muhtemelen sonsuz bir değişkenler kümesi olmasına izin verin . Bir değişmez ya x ∈ X değişkeni ya da ¬ x negatifidir . A madde C bir ayrılmasıdır sonlu …

18 reference-request  lo.logic  sat  topology  lattice 

Gerçek sayılarla, gerçek sayıların kullanımına ilişkin en bilinen sonuçların yalnızca hesaplanabilir gerçekler göz önüne alındığında kullanılabileceğini belirten genel bir teorem var mı? Yoksa yalnızca hesaplanabilir gerçekler göz önüne alındığında geçerli kalan sonuçların uygun bir karakterizasyonu var mı? Bir yan soru, hesaplanabilir gerçeklerle ilgili sonuçların, tüm gerçekleri veya hesaplanamayan herhangi bir …

16 computability  computing-over-reals  topology  model-theory 

Ben set teorisi, ordinal teori, sonsuz kombinatorik ve genel topoloji ile ilgilenen bir matematikçiyim. Bu konuda bilgisayar bilimlerinde uygulama var mı? Biraz baktım ve sonlu grafik teorisi, sonlu topoloji, düşük boyutlu topoloji, geometrik topoloji vb. İçin birçok uygulama buldum. Ancak, bu konuların sonsuz nesnelerinin, yani sonsuz ağaçların ( örneğin Aronszajn …

15 set-theory  topology  topological-graph-theory 

Üçgen bir 3-manifoldun belirli bir 3-kürecik olup olmadığının belirlenmesinin, 2004 yılında Saul Schleimer tarafından yapılan çalışma ile NP'de olduğu bilinmektedir: "Küre tanıma NP'de yatmaktadır" arXiv: math / 0407047v1 [math.GT] . Bunun son beş-altı yıl içinde NP-tamamlanmış olup olmadığını merak ediyorum. 3-manifold düğüm cinsi problemi gibi benzer problemlerin NP-tam olduğu gösterilmiştir.

13 cc.complexity-theory  reference-request  open-problem  topology 

Borsuk-Ulam teoremi her sürekli tek fonksiyonu söylüyor Öklid n-boşluğa bir n-küreden, bir nokta vardır şekilde .gggx0x0x_0g(x0)=0g(x0)=0g(x_0)=0 Simmons ve Su (2002) , Tucker'ın kullanarak noktasına yaklaşmak için bir yöntem açıklamaktadır . Ancak, yöntemlerinin çalışma zamanı karmaşıklığının ne olduğu açık değildir.x0x0x_0 Diyelim ki, fonksiyonu için bir kehanet ve yaklaşım faktörü verildi . …

10 approximation-algorithms  time-complexity  topology  algebraic-topology 

Smyth'in bilgisayar bilimi mantığı el kitabındaki bölümü ve diğer referanslar, metrik uzayların alan olarak nasıl kullanılabileceğini açıklar. Tam metrik uzayların benzersiz sabit noktalar verdiğini anlıyorum, ancak metrik uzayların neden önemli olduğunu anlamıyorum. Aşağıdaki sorularla ilgili düşünceleri gerçekten takdir ediyorum. Anlambilimde (ultra / yarı / sözde) metrik uzayların kullanımına iyi örnekler …

10 semantics  topology  denotational-semantics  domain-theory  metrics