BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Marek Piotrów

Marek Piotrów contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
Data Structures and AlgorithmsDistributed, Parallel, and Cluster Computing

Trust snapshot

Quick read

Trust 15 - Baseline
3works
0followers
2topics
1close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

3 published item(s)

preprint2015arXiv

Smaller Selection Networks for Cardinality Constraints Encoding

Selection comparator networks have been studied for many years. Recently, they have been successfully applied to encode cardinality constraints for SAT-solvers. To decrease the size of generated formula there is a need for constructions of selection networks that can be efficiently generated and produce networks of small sizes for the practical range of their two parameters: n - the number of inputs (boolean variables) and k - the number of selected items (a cardinality bound). In this paper we give and analyze a new construction of smaller selection networks that are based on the pairwise selection networks introduced by Codish and Zanon-Ivry. We prove also that standard encodings of cardinality constraints with selection networks preserve arc-consistency.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Faster 3-Periodic Merging Networks

We consider the problem of merging two sorted sequences on a comparator network that is used repeatedly, that is, if the output is not sorted, the network is applied again using the output as input. The challenging task is to construct such networks of small depth. The first constructions of merging networks with a constant period were given by Kutyłowski, Loryś and Oesterdikhoff. They have given $3$-periodic network that merges two sorted sequences of $N$ numbers in time $12\log N$ and a similar network of period $4$ that works in $5.67\log N$. We present a new family of such networks that are based on Canfield and Williamson periodic sorter. Our $3$-periodic merging networks work in time upper-bounded by $6\log N$. The construction can be easily generalized to larger constant periods with decreasing running time, for example, to $4$-periodic ones that work in time upper-bounded by $4\log N$. Moreover, to obtain the facts we have introduced a new proof technique.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Faster Small-Constant-Periodic Merging Networks

We consider the problem of merging two sorted sequences on a comparator network that is used repeatedly, that is, if the output is not sorted, the network is applied again using the output as input. The challenging task is to construct such networks of small depth (called a period in this context). In our previous paper entitled Faster 3-Periodic Merging Network we reduced twice the time of merging on $3$-periodic networks, i.e. from $12\log N$ to $6\log N$, compared to the first construction given by Kutyłowski, Loryś and Oesterdikhoff. Note that merging on $2$-periodic networks require linear time. In this paper we extend our construction, which is based on Canfield and Williamson $(\log N)$-periodic sorter, and the analysis from that paper to any period $p \ge 4$. For $p\ge 4$ our $p$-periodic network merges two sorted sequences of length $N/2$ in at most $\frac{2p}{p-2}\log N + p\frac{p-8}{p-2}$ rounds. The previous bound given by Kutyłowski at al. was $\frac{2.25p}{p-2.42}\log N$. That means, for example, that our $4$-periodic merging networks work in time upper-bounded by $4\log N$ and our $6$-periodic ones in time upper-bounded by $3\log N$ compared to the corresponding $5.67\log N$ and $3.8\log N$ previous bounds. Our construction is regular and follows the same periodification schema, whereas some additional techniques were used previously to tune the construction for $p \ge 4$. Moreover, our networks are also periodic sorters and tests on random permutations show that average sorting time is closed to $\log^2 N$.

0 citations0 reviewsNo code linkedOpen access