Search results for "coding"

showing 10 items of 920 documents

On the subset sum problem for finite fields

2021

Abstract Let G be the additive group of a finite field. J. Li and D. Wan determined the exact number of solutions of the subset sum problem over G, by giving an explicit formula for the number of subsets of G of prescribed size whose elements sum up to a given element of G. They also determined a closed-form expression for the case where the subsets are required to contain only nonzero elements. In this paper we give an alternative proof of the two formulas. Our argument is purely combinatorial, as in the original proof by Li and Wan, but follows a different and somehow more “natural” approach. We also indicate some new connections with coding theory and combinatorial designs.

Discrete mathematicsAlgebra and Number TheoryApplied MathematicsGeneral EngineeringSubset sumFinite fieldCoding theoryExpression (computer science)Zero-sum setTheoretical Computer ScienceFinite fieldCombinatorial designSettore MAT/05 - Analisi MatematicaSubset sum problemSettore MAT/03 - GeometriaElement (category theory)Argument (linguistics)Subset sum problemZero sumsetAdditive groupMathematics
researchProduct

On the loopless generation of binary tree sequences

1998

Weight sequences were introduced by Pallo in 1986 for coding binary trees and he presented a constant amortized time algorithm for their generation in lexicographic order. A year later, Roelants van Baronaigien and Ruskey developed a recursive constant amortized time algorithm for generating Gray code for binary trees in Pallo's representation. It is common practice to find a loopless generating algorithm for a combinatorial object when enunciating a Gray code for this object. In this paper we regard weight sequences as variations and apply a Williamson algorithm in order to obtain a loopless generating algorithm for the Roelants van Baronaigien and Ruskey's Gray code for weight sequences.

Discrete mathematicsAmortized analysisBinary treeLexicographical orderPseudorandom binary sequenceComputer Science ApplicationsTheoretical Computer ScienceGray codeCombinatoricsSignal ProcessingBinary codeInformation SystemsCoding (social sciences)MathematicsInformation Processing Letters
researchProduct

Coding Binary Trees by Words over an Alphabet with Four Letters

1992

Abstract We propose a new encoding scheme to represent binary trees with n leaves by words of length n over an alphabet with four letters. We give a characterization of these codewords.

Discrete mathematicsBinary treeData_CODINGANDINFORMATIONTHEORYArithmeticTruncated binary encodingAlphabetComputer Science::Formal Languages and Automata TheoryCoding (social sciences)MathematicsJournal of Information and Optimization Sciences
researchProduct

Analysis of properties of recombination operators proposed for the node-depth encoding

2011

The node-depth encoding is a representation for evolutionary algorithms applied to tree problems. Its represents trees by storing the nodes and their depth in a proper ordered list. The original formulation of the node-depth encoding has only mutation operators as the search mechanism. Although it is computationally efficient, the exclusive use of mutation restricts the exploration of the search space and the algorithm convergence. Then, this work proposes two specific recombination operators to improve the convergence of the algorithm using the node-depth encoding representation. These operators are based on recombination operators for permutation representations. Analysis of the proposed …

Discrete mathematicsPermutationTree (data structure)Encoding (memory)Mutation (genetic algorithm)Convergence (routing)Evolutionary algorithmQuantitative Biology::Populations and EvolutionNode (circuits)Representation (mathematics)AlgorithmMathematicsProceedings of the 13th annual conference companion on Genetic and evolutionary computation
researchProduct

On the size of transducers for bidirectional decoding of prefix codes

2012

In a previous paper [L. Giambruno and S. Mantaci, Theoret. Comput. Sci. 411 (2010) 1785–1792] a bideterministic transducer is defined for the bidirectional deciphering of words by the method introduced by Girod [ IEEE Commun. Lett. 3 (1999) 245–247]. Such a method is defined using prefix codes. Moreover a coding method, inspired by the Girod’s one, is introduced, and a transducer that allows both right-to-left and left-to-right decoding by this method is defined. It is proved also that this transducer is minimal. Here we consider the number of states of such a transducer, related to some features of the considered prefix code X . We find some bounds of such a number of states in relation wi…

Discrete mathematicsPrefix codeBlock codeSettore INF/01 - InformaticaGeneral MathematicsConcatenated error correction codeprefix codeList decodingSerial concatenated convolutional codesSequential decodingLinear codeComputer Science ApplicationsPrefixbilateral decodingVariable length codetransducersAlgorithmComputer Science::Formal Languages and Automata TheorySoftwareMathematics
researchProduct

A Generalization of Girod’s Bidirectional Decoding Method to Codes with a Finite Deciphering Delay

2012

In this paper we generalize an encoding method due to Girod (cf. [6]) using prefix codes, that allows a bidirectional decoding of the encoded messages. In particular we generalize it to any finite alphabet A, to any operation defined on A, to any code with finite deciphering delay and to any key x ∈ A+ , on a length depending on the deciphering delay. We moreover define, as in [4], a deterministic transducer for such generalized method. We prove that, fixed a code X ∈ A* with finite deciphering delay and a key x ∈ A *, the transducers associated to different operations are isomorphic as unlabelled graphs. We also prove that, for a fixed code X with finite deciphering delay, transducers asso…

Discrete mathematicsPrefix codeStrongly connected componentSettore INF/01 - InformaticaGeneralization020206 networking & telecommunications0102 computer and information sciences02 engineering and technology01 natural sciencesPrefix010201 computation theory & mathematicsEncoding (memory)0202 electrical engineering electronic engineering information engineeringCode (cryptography)AlphabetGirod's encoding codes finite deciphering delayDecoding methodsMathematics
researchProduct

A simple algorithm for generating neuronal dendritic trees

1990

Abstract A simple, efficient algorithm is presented for generating the codewords of all neuronal dendritic trees with a given number of terminal nodes. Furthermore, a procedure is developed for deciding if different codewords correspond to topologically equivalent trees.

Discrete mathematicsQuantitative Biology::Neurons and CognitionEfficient algorithmHealth InformaticsDendritesData_CODINGANDINFORMATIONTHEORYData structureModels BiologicalComputer Science ApplicationsTerminal (electronics)Simple (abstract algebra)Computer SimulationTopological conjugacyMathematical ComputingAlgorithmAlgorithmsSoftwareSIMPLE algorithmComputer Science::Information TheoryMathematicsComputer Methods and Programs in Biomedicine
researchProduct

Burrows-Wheeler transform and Run-Length Enconding

2017

In this paper we study the clustering effect of the Burrows-Wheeler Transform (BWT) from a combinatorial viewpoint. In particular, given a word w we define the BWT-clustering ratio of w as the ratio between the number of clusters produced by BWT and the number of the clusters of w. The number of clusters of a word is measured by its Run-Length Encoding. We show that the BWT-clustering ratio ranges in ]0, 2]. Moreover, given a rational number \(r\,\in \,]0,2]\), it is possible to find infinitely many words having BWT-clustering ratio equal to r. Finally, we show how the words can be classified according to their BWT-clustering ratio. The behavior of such a parameter is studied for very well-…

Discrete mathematicsRational numberBurrows–Wheeler transformComputer scienceComputer Science (all)0102 computer and information sciences02 engineering and technologyBurrows-Wheeler transform01 natural sciencesBurrows-Wheeler transform; Clustering effect; Run-length encoding; Theoretical Computer Science; Computer Science (all)Theoretical Computer ScienceClustering effect010201 computation theory & mathematicsRun-length encoding0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processingCluster analysisWord (computer architecture)Run-length encoding
researchProduct

Efficient CNF Encoding of Boolean Cardinality Constraints

2003

In this paper, we address the encoding into CNF clauses of Boolean cardinality constraints that arise in many practical applications. The proposed encoding is efficient with respect to unit propagation, which is implemented in almost all complete CNF satisfiability solvers. We prove the practical efficiency of this encoding on some problems arising in discrete tomography that involve many cardinality constraints. This encoding is also used together with a trivial variable elimination in order to re-encode parity learning benchmarks so that a simple Davis and Putnam procedure can solve them.

Discrete mathematicsTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESCardinalityUnit propagationComputer scienceConstrained optimizationData_CODINGANDINFORMATIONTHEORYVariable eliminationComputer Science::Computational ComplexityConjunctive normal formBoolean data typeSatisfiability
researchProduct

Three-page encoding and complexity theory for spatial graphs

2004

We construct a series of finitely presented semigroups. The centers of these semigroups encode uniquely up to rigid ambient isotopy in 3-space all non-oriented spatial graphs. This encoding is obtained by using three-page embeddings of graphs into the product of the line with the cone on three points. By exploiting three-page embeddings we introduce the notion of the three-page complexity for spatial graphs. This complexity satisfies the properties of finiteness and additivity under natural operations.

Discrete mathematics[ MATH.MATH-GT ] Mathematics [math]/Geometric Topology [math.GT]Algebra and Number TheoryDegree (graph theory)Semigroup010102 general mathematicsGeometric topologyGeometric Topology (math.GT)01 natural sciences57M25 57M15 57M05Combinatorics010104 statistics & probabilityMathematics - Geometric TopologyCone (topology)Additive functionEncoding (memory)[MATH.MATH-GT]Mathematics [math]/Geometric Topology [math.GT]FOS: Mathematics0101 mathematicsUnit (ring theory)Ambient isotopyMathematics[MATH.MATH-GT] Mathematics [math]/Geometric Topology [math.GT]MathematicsofComputing_DISCRETEMATHEMATICS
researchProduct