Formularless Logic Function

• 作者: Alexey Nikolayevitch Teterin
• 来源期刊: 离散数学期刊(英文)
• 学科: 数学
• 关键词: COMPLEXITY of Computation(03D15) Models of Computation(68Q05) Analysis of Algorithms and Problem Complexity(68Q25) Computational Learning Theory(68Q32) SEPARABILITY SATISFIABILITY FUZZINESS Dynamical Systems COMPUTABILITY
• 年，卷（期）: 2013,（1）
• 页码范围: 21-24
• 页数: 4页
• 分类号: O1

摘要

The concept of computability is defined more exactly and illustrated as an example of Boolean functions and cryptanalysis. To define a Boolean function is not necessary to record its formula. To do that the reduced (compact) description of values is determined in the truth table or in the statement of the problem. We obtain estimates of computation time, the volume of a compact descriptions and the range of variables under which it takes the value 0 or 1, depending polynomially on the number of arguments.