Pertanyaan yang diberi tag «soft-question»

Pertanyaan lunak adalah pertanyaan (mungkin subyektif) tentang bidang ilmu komputer teoretis yang bertentangan dengan pertanyaan dalam ilmu komputer teoretis.

5
Apakah mungkin untuk menguji apakah bilangan yang dihitung rasional atau bilangan bulat?
Apakah mungkin untuk menguji secara algoritmik apakah bilangan yang dihitung rasional atau bilangan bulat? Dengan kata lain, apakah mungkin bagi perpustakaan yang mengimplementasikan angka yang dapat dihitung untuk menyediakan fungsi isIntegeratau isRational? Saya menduga itu tidak mungkin, dan bahwa ini entah bagaimana terkait dengan fakta bahwa tidak mungkin untuk menguji …
18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 
1
Apa status logika fuzzy untuk TCS pada 2011?
Saya sedang meninjau Handbook of Nature-Inspired dan Innovative Computing untuk SIGACT News. Ini bacaan yang sangat menarik. Setiap bab, bagaimanapun, memiliki rasa, "Ini adalah area penelitian saya, dan sangat mengagumkan!" Jadi bagian dari apa yang saya coba lakukan adalah untuk memisahkan hype, dan membuat penilaian yang bijaksana dari isi buku. …
6
Haruskah pakar TCS membebankan biaya untuk membaca bukti bahwa P! = NP?
Sudah diketahui bahwa ada banyak amatir - termasuk saya sendiri - yang tertarik pada masalah P vs NP. Ada juga banyak amatuer - termasuk saya sendiri - yang telah berupaya menyelesaikan masalah ini. Satu masalah yang menurut saya diderita oleh komunitas TCS adalah rasio tertarik-amatir-terhadap-ahli yang relatif tinggi; ini menyebabkan …
5
Algoritma deterministik sederhana dan praktis, waktu berjalan yang rumit
Sangat sering, jika waktu berjalan suatu algoritma adalah ekspresi yang rumit, algoritma itu sendiri juga rumit dan tidak praktis. Setiap akar pangkat tiga dan faktor dalam waktu berjalan asimptotik cenderung menambah kompleksitas pada algoritma dan juga menyembunyikan faktor konstan pada waktu berjalan.catatancatatanncatatan⁡catatan⁡n\log \log n Apakah kita memiliki contoh mencolok di …
4
Aplikasi Teori Kompleksitas
Teori kompleksitas tampaknya menangkap sesuatu yang mendasar tentang struktur alam semesta, dalam arti ia memformalkan gagasan intuitif bahwa beberapa masalah lebih sulit daripada yang lain. Scott Aaronson meramalkan , "Asumsi Kekerasan NP pada akhirnya akan dilihat sebagai analog dengan Hukum Kedua Termodinamika atau ketidakmungkinan pensinyalan superluminal." Apa yang disebut "masalah …
1
Agregator Blog TOC sedang Offline
Saya minta maaf jika ini di luar topik. Tampaknya nama domain telah kedaluwarsa. Saya harap beberapa anggota komunitas di sini (saya bukan satu) dapat mengetahui siapa yang menjadi administrator / pemilik situs tersebut. Itu sumber yang cukup berguna.
1
Saran untuk ahli matematika yang mencoba mempresentasikan makalah pada konferensi CS?
Saya seorang ahli matematika yang bekerja terutama dalam teori spektral self-adjoint dan operator kesatuan. Beberapa penelitian saya memiliki relevansi dalam berjalan kuantum, dan saya punya satu makalah khusus yang ingin saya presentasikan dalam konferensi Pemrosesan Informasi Kuantum Januari ini di Seattle. Budaya komunitas CS teoritis tampaknya sangat berbeda dari komunitas …
7
Pointer untuk aplikasi logika CS
Saya seorang mahasiswa pascasarjana dalam matematika dengan latar belakang yang kuat dalam logika. Saya telah mengambil kursus pascasarjana selama setahun di bidang logika bersama-sama dengan program pascasarjana tentang teori model terbatas dan satu lagi tentang teori memaksa dan menetapkan. Sebagian besar teks CS tampaknya hanya mengasumsikan latar belakang yang sangat …
2
Pentingnya ACM / IEEE dalam konferensi TCS
Baru-baru ini saya berada di sebuah konferensi yang didukung ACM. Selama jamuan makan, panitia konferensi memberi tahu kami tentang masa depan dan masa lalu konferensi. Mereka memberi tahu kami bahwa selama konferensi edisi 2010 ada kerugian $ 5.000. Mereka menunjukkan kepada kami anggaran konferensi sebelumnya di mana kami dapat melihat …
2
Apakah gelar PhD dalam TCS merupakan cara terbaik untuk mencapai karier di bidang penelitian industri?
Gagasan saya tentang karier impian adalah karier dalam penelitian industri, di mana seseorang dapat mengatasi masalah yang menantang, dan juga memiliki penggunaan praktis. Untuk itu, apakah mengejar gelar PhD di TCS (saya tertarik pada topik seperti algoritma yang didistribusikan / paralel, algoritma online) adalah ide yang buruk? Saya berpendapat bahwa …
2
Publikasi TCS terbaru dengan aspek filosofis
Banyak publikasi ilmu komputer dari tahun 1950-an dan 1960-an mengandung spekulasi filosofis yang menarik tentang sifat pikiran dan makna informasi dalam kaitannya dengan dunia fisik. Contoh terkenal adalah "Turing Test", Zuse's "Menghitung Ruang", Wheeler's "itu dari bit" dll. Dewasa ini tema-tema semacam itu banyak dibahas dalam buku-buku sains populer, tetapi …
4
Kapan lebih banyak publikasi kurang?
Apakah ada kasus di mana publikasi tambahan dapat merusak catatan Anda? Ini menghindari kasus yang jelas di mana Anda mempublikasikan hasil yang salah, atau kontroversial. Juga menghindari kasus terbatas-waktu: Anda hanya memiliki begitu banyak waktu untuk berpikir dan menulis, sehingga menulis makalah mungkin menyebabkan Anda waktu kehilangan pada proyek lain. …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.