5
কোনও গণনীয় সংখ্যাটি মূলদ বা পূর্ণসংখ্যার জন্য পরীক্ষা করা কি সম্ভব?
কোনও গণনীয় সংখ্যাটি মূলদ বা পূর্ণসংখ্য হলে অ্যালগোরিদমিকভাবে পরীক্ষা করা সম্ভব? অন্য কথায়, এটি একটি লাইব্রেরির জন্য সম্ভব হবে যে কার্যকরী গণনীয় সংখ্যার ফাংশন প্রদান isIntegerবা isRational? আমি অনুমান করছি যে এটি সম্ভব নয়, এবং এটি কোনওভাবে এই সত্যের সাথে সম্পর্কিত যে দুটি সংখ্যা সমান হলে পরীক্ষা করা সম্ভব নয় …
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