397 research outputs found
How proofs are prepared at Camelot
We study a design framework for robust, independently verifiable, and
workload-balanced distributed algorithms working on a common input. An
algorithm based on the framework is essentially a distributed encoding
procedure for a Reed--Solomon code, which enables (a) robustness against
byzantine failures with intrinsic error-correction and identification of failed
nodes, and (b) independent randomized verification to check the entire
computation for correctness, which takes essentially no more resources than
each node individually contributes to the computation. The framework builds on
recent Merlin--Arthur proofs of batch evaluation of Williams~[{\em Electron.\
Colloq.\ Comput.\ Complexity}, Report TR16-002, January 2016] with the
observation that {\em Merlin's magic is not needed} for batch evaluation---mere
Knights can prepare the proof, in parallel, and with intrinsic
error-correction.
The contribution of this paper is to show that in many cases the verifiable
batch evaluation framework admits algorithms that match in total resource
consumption the best known sequential algorithm for solving the problem. As our
main result, we show that the -cliques in an -vertex graph can be counted
{\em and} verified in per-node time and space on
compute nodes, for any constant and
positive integer divisible by , where is the
exponent of matrix multiplication. This matches in total running time the best
known sequential algorithm, due to Ne{\v{s}}et{\v{r}}il and Poljak [{\em
Comment.~Math.~Univ.~Carolin.}~26 (1985) 415--419], and considerably improves
its space usage and parallelizability. Further results include novel algorithms
for counting triangles in sparse graphs, computing the chromatic polynomial of
a graph, and computing the Tutte polynomial of a graph.Comment: 42 p
Algorithms for visualization of graph-based structures
Buildings today are built to maintain a healthy indoor environment and an efficient energy usage which is probably why damages caused by dampness has increased since the 1960’s. A study between year 2008 and 2010 showed that 26 percent of the 110 000 examined houses had damages and flaws caused by dampness that could prove to be harmful later on. This means that one out of four bathrooms risk the chance to develop damages by dampness. Approximately 2 percent of the houses had already developed water damages. It is here where the problems appear. A house or a building that is damaged by water of dampness need time to dry out before any renovation can take place. This means that damaged parts must be removed and allowed to dry out, this takes a long time to do and the costs are high and at the same time it can cause inconvenience to the residents. Here is where the Air Gap Method enters the picture. The meaning with the method is to drain and dry out the moisture without the need to perform a larger renovation. The Air Gap Method is a so called "forgiving"-system that is if water damages occur the consequences will be small. The Air Gap method means that an air gap is created in the walls, ceiling and the floor where a heating cable in the gap heats up the air and creates an air movement. The point is to create a stack effect in the gap that with the help of the air movement transports the damp air through an opening by the ceiling. The aim of this thesis is to examine if it’s necessary with the heating cable in the air gap and if there is a specific drying out pattern of the water damaged bathroom floor. The possibility of mould growth will also be examined. The study showed that the damped floor did dry out even without a heating cable, but as one of the studies showed signs of mould growth it is shown that the risk for mould growth is higher without a heating cable. There was a seven days difference in the drying out time between the studies with and without the heating cable; this difference can be decisive for mould growth which is why the heating cable is recommended. The Air Gap method is quite easy to apply in houses with light frame constructions simply by using a smaller dimension on the studs to create the air gap in the floor and walls. The method can also be applied in apartment buildings with a concrete frame by using the room-in- room principal. When renovating existing bathrooms it’s easier to use prefabricated elements to create the air gap in the floor and walls. ~
A Statistical Method for Object Counting
In this paper we present a new object counting method that is intended for
counting similarly sized and mostly round objects. Unlike many other algorithms
of the same purpose, the proposed method does not rely on identifying every
object, it uses statistical data obtained from the image instead. The method is
evaluated on images with human bone cells, oranges and pills achieving good
accuracy. Its strengths are ability to deal with touching and partly
overlapping objects, ability to work with different kinds of objects without
prior configuration and good performance
Finite automata with advice tapes
We define a model of advised computation by finite automata where the advice
is provided on a separate tape. We consider several variants of the model where
the advice is deterministic or randomized, the input tape head is allowed
real-time, one-way, or two-way access, and the automaton is classical or
quantum. We prove several separation results among these variants, demonstrate
an infinite hierarchy of language classes recognized by automata with
increasing advice lengths, and establish the relationships between this and the
previously studied ways of providing advice to finite automata.Comment: Corrected typo
- …