Results 1 to 10 of about 258,090 (165)
Numerical mathematics and computer science [PDF]
Communications of the ACM, 1972 Numerical mathematics is viewed as the analysis of continuous algorithms. Four of the components of numerical mathematics are discussed. These are: foundations (finite precision number systems, computational compexity), synthesis and analysis of algorithms, analysis of error, programs and program libraries.
J F Traub
exaly +2 more sources
Notes on Equitable Partitions into Matching Forests in Mixed Graphs and into $b$-branchings in Digraphs [PDF]
Discrete Mathematics & Theoretical Computer Science, 2022 An equitable partition into branchings in a digraph is a partition of the arc set into branchings such that the sizes of any two branchings differ at most by one.
Kenjiro Takazawa
doaj +1 more source
Formalizing the Face Lattice of Polyhedra [PDF]
Logical Methods in Computer Science, 2022 Faces play a central role in the combinatorial and computational aspects of polyhedra. In this paper, we present the first formalization of faces of polyhedra in the proof assistant Coq.
Xavier Allamigeon +2 more
doaj +1 more source
Destroying Multicolored Paths and Cycles in Edge-Colored Graphs [PDF]
Discrete Mathematics & Theoretical Computer Science, 2023 We study the computational complexity of $c$-Colored $P_\ell$ Deletion and $c$-Colored $C_\ell$ Deletion. In these problems, one is given a $c$-edge-colored graph and wants to destroy all induced $c$-colored paths or cycles, respectively, on $\ell ...
Nils Jakob Eckstein +3 more
doaj +1 more source
Destroying Bicolored $P_3$s by Deleting Few Edges [PDF]
Discrete Mathematics & Theoretical Computer Science, 2021 We introduce and study the Bicolored $P_3$ Deletion problem defined as follows. The input is a graph $G=(V,E)$ where the edge set $E$ is partitioned into a set $E_r$ of red edges and a set $E_b$ of blue edges.
Niels Grüttemeier +3 more
doaj +1 more source
Taking-and-merging games as rewrite games [PDF]
Discrete Mathematics & Theoretical Computer Science, 2020 This work is a contribution to the study of rewrite games. Positions are finite words, and the possible moves are defined by a finite number of local rewriting rules.
Eric Duchêne +3 more
doaj +1 more source
Фізико-математична освіта, 2021 Relevance and expediency of introduction of a training course of computer mathematics for students of “Secondary Education (Computer Science)” is caused by necessity of use of computer equipment with the corresponding software almost in all areas of ...
Варвара Черненко
doaj +1 more source
On the VC-dimension of half-spaces with respect to convex sets [PDF]
Discrete Mathematics & Theoretical Computer Science, 2021 A family S of convex sets in the plane defines a hypergraph H = (S, E) as follows. Every subfamily S' of S defines a hyperedge of H if and only if there exists a halfspace h that fully contains S' , and no other set of S is fully contained in h.
Nicolas Grelier +3 more
doaj +1 more source
Pseudoperiodic Words and a Question of Shevelev [PDF]
Discrete Mathematics & Theoretical Computer Science, 2023 We generalize the familiar notion of periodicity in sequences to a new kind of pseudoperiodicity, and we prove some basic results about it. We revisit the results of a 2012 paper of Shevelev and reprove his results in a simpler and more unified manner ...
Joseph Meleshko +3 more
doaj +1 more source
Antisquares and Critical Exponents [PDF]
Discrete Mathematics & Theoretical Computer Science, 2023 The (bitwise) complement $\overline{x}$ of a binary word $x$ is obtained by changing each $0$ in $x$ to $1$ and vice versa. An $\textit{antisquare}$ is a nonempty word of the form $x\, \overline{x}$.
Aseem Baranwal +5 more
doaj +1 more source