Combining Lists with Integers?
نویسنده
چکیده
منابع مشابه
Score lists in multipartite hypertournaments
Given non-negative integers ni and αi with 0 ≤ αi ≤ ni (i = 1, 2, . . . , k), an [α1, α2, . . . , αk]-k-partite hypertournament on ∑k 1 ni vertices is a (k+ 1)-tuple (U1, U2, . . . , Uk, E), where Ui are k vertex sets with |Ui| = ni, and E is a set of ∑k 1 αi-tuples of vertices, called arcs, with exactly αi vertices from Ui, such that any ∑k 1 αi subset ∪ k 1U ′ i of ∪ k 1Ui, E contains exactly...
متن کاملScore Lists in (h, K)-bipartite Hypertournaments
Given non-negative integers m,n, h and k with m ≥ h > 1 and n ≥ k > 1, an (h, k)-bipartite hypertournament on m + n vertices is a triple (U, V, A), where U and V are two sets of vertices with |U | = m and |V | = n, and A is a set of (h + k)-tuples of vertices, called arcs, with at most h vertices from U and at most k vertices from V , such that for any h + k subsets U1 ∪ V1 of U ∪ V, A contains...
متن کاملGraphic and Protographic Lists of Integers
A positive list (list of positive integers) is protographic if its merger with all but finitely many positive graphic lists is graphic. Define the family Ps of s-protogaphic lists by letting P0 be the family of positive graphic lists and letting Ps for s > 0 be the family of positive lists whose merger with all but finitely many lists in Ps−1 is in Ps−1. The main result is that X ∈ Ps if and on...
متن کاملA Reduction Approach to Decision Procedures
We present an approach for designing decision procedures based on the reduction of complex theories to simpler ones. Specifically, we define reduction functions as a tool for reducing the satisfiability problem of a complex theory to the satisfiability problem of a simpler one. Reduction functions allow us to reduce the theory of lists to the theory of constructors, the theory of arrays to the ...
متن کاملThe Scala-REPL + MMT as a lightweight mathematical user interface
Scala is a general purpose programming language that includes a read-eval-print loop (REPL). Mmt is a general representation language for formal mathematical knowledge implemented in Scala. Independent recent developments permit combining them into an extremely simple user interface that can act as a nucleus for a variety of systems. Firstly, Scala introduced string interpolation – a convenient...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001