Inverse gas chromatography: Difference between revisions

Revision as of 14:32, 20 March 2013

In coding theory, the Sardinas–Patterson algorithm is a classical algorithm for determining in polynomial time whether a given variable-length code is uniquely decodable, named after August Albert Sardinas and George W. Patterson, who published it in 1953.Template:Sfnp The algorithm carries out a systematic search for a string which admits two different decompositions into codewords. As Knuth reports, the algorithm was rediscovered about ten years later in 1963 by Floyd, despite the fact that it was at the time already well known in coding theory.^[1]

Idea of the algorithm

Consider the code ${a \mapsto 1, b \mapsto 011, c \mapsto 01110, d \mapsto 1110, e \mapsto 10011}$ . This code, which is based on an example by Berstel,^[2] is an example of a code which is not uniquely decodable, since the string

011101110011

can be interpreted as the sequence of codewords

01110 – 1110 – 011,

but also as the sequence of codewords

011 – 1 – 011 – 10011.

Two possible decodings of this encoded string are thus given by cdb and babe.

In general, a codeword can be found by the following idea: In the first round, we choose two codewords $x_{1}$ and $y_{1}$ such that $x_{1}$ is a prefix of $y_{1}$ , that is, $x_{1} w = y_{1}$ for some "dangling suffix" $w$ . If one tries first $x_{1} = 011$ and $y_{1} = 01110$ , the dangling suffix is $w = 10$ . If we manage to find two sequences $x_{2}, \dots, x_{p}$ and $y_{2}, \dots, y_{q}$ of codewords such that $x_{2} \dots x_{p} = w y_{2} \dots y_{q}$ , then we are finished: For then the string $x = x_{1} x_{2} \dots x_{p}$ can alternatively be decomposed as $y_{1} y_{2} \dots y_{q}$ , and we have found the desired string having at least two different decompositions into codewords. In the second round, we try out two different approaches: the first trial is to look for a codeword that has w as prefix. Then we obtain a new dangling suffix w', with which we can continue our search. If we eventually encounter a dangling suffix that is itself a codeword (or the empty word), then the search will terminate, as we know there exists a string with two decompositions. The second trial is to seek for a codeword that is itself a prefix of w. In our example, we have $w = 10$ , and the sequence 1 is a codeword. We can thus also continue with w'=0 as the new dangling suffix.

Precise description of the algorithm

The algorithm is described most conveniently using quotients of formal languages. In general, for two sets of strings D and N, the (left) quotient $N^{- 1} D$ is defined as the residual words obtained from D by removing some prefix in N. Formally, $N^{- 1} D = {y ∣ x y \in D and x \in N}$ . Now let $C$ denote the (finite) set of codewords in the given code.

The algorithm proceeds in rounds, where we maintain in each round not only one dangling suffix as described above, but the (finite) set of all potential dangling suffixes. Starting with round $i = 1$ , the set of potential dangling suffixes will be denoted by $S_{i}$ . The sets $S_{i}$ are defined inductively as follows:

$S_{1} = C^{- 1} C ∖ {ε}$ . Here, the symbol $ε$ denotes the empty word.

$S_{i + 1} = C^{- 1} S_{i} \cup S_{i}^{- 1} C$ , for all $i \geq 1$ .

The algorithm computes the sets $S_{i}$ in increasing order of $i$ . As soon as one of the $S_{i}$ contains a word from C or the empty word, then the algorithm terminates and answers that the given code is not uniquely decodable. Otherwise, once a set $S_{i}$ equals a previously encountered set $S_{j}$ with $j < i$ , then the algorithm would enter in principle an endless loop. Instead of continuing endlessly, it answers that the given code is uniquely decodable.

Termination and correctness of the algorithm

Since all sets $S_{i}$ are sets of suffixes of a finite set of codewords, there are only finitely many different candidates for $S_{i}$ . Since visiting one of the sets for the second time will cause the algorithm to stop, the algorithm cannot continue endlessly and thus must always terminate. More precisely, the total number of dangling suffixes that the algorithm considers is at most equal to the total of the lengths of the codewords in the input, so the algorithm runs in polynomial time as a function of this input length. By using a suffix tree to speed the comparison between each dangling suffix and the codewords, the time for the algorithm can be bounded by O(nk), where n is the total length of the codewords and k is the number of codewords.Template:Sfnp The algorithm can also be implemented to run on a nondeterministic turing machine that uses only logarithmic space; the problem of testing unique decipherability is NL-complete, so this space bound is optimal.^[3]

A proof that the algorithm is correct, i.e. that it always gives the correct answer, is found in the textbooks by Salomaa^[4] and by Berstel et al.^[5]

Notes

↑ Knuth (2003), p. 2
↑ Berstel et al. (2009), Example 2.3.1 p. 63
↑ Template:Harvtxt proves that the complementary problem, of testing for the existence of a string with two decodings, is NL-complete, and therefore that unique decipherability is co-NL-complete. The equivalence of NL-completeness and co-NL-completeness follows from the Immerman–Szelepcsényi theorem.
↑ Salomaa (1981)
↑ Berstel et al. (2009), Chapter 2.3

References

20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
One of the biggest reasons investing in a Singapore new launch is an effective things is as a result of it is doable to be lent massive quantities of money at very low interest rates that you should utilize to purchase it. Then, if property values continue to go up, then you'll get a really high return on funding (ROI). Simply make sure you purchase one of the higher properties, reminiscent of the ones at Fernvale the Riverbank or any Singapore landed property Get Earnings by means of Renting

In its statement, the singapore property listing - website link, government claimed that the majority citizens buying their first residence won't be hurt by the new measures. Some concessions can even be prolonged to chose teams of consumers, similar to married couples with a minimum of one Singaporean partner who are purchasing their second property so long as they intend to promote their first residential property. Lower the LTV limit on housing loans granted by monetary establishments regulated by MAS from 70% to 60% for property purchasers who are individuals with a number of outstanding housing loans on the time of the brand new housing purchase. Singapore Property Measures - 30 August 2010 The most popular seek for the number of bedrooms in Singapore is 4, followed by 2 and three. Lush Acres EC @ Sengkang

Discover out more about real estate funding in the area, together with info on international funding incentives and property possession. Many Singaporeans have been investing in property across the causeway in recent years, attracted by comparatively low prices. However, those who need to exit their investments quickly are likely to face significant challenges when trying to sell their property – and could finally be stuck with a property they can't sell. Career improvement programmes, in-house valuation, auctions and administrative help, venture advertising and marketing, skilled talks and traisning are continuously planned for the sales associates to help them obtain better outcomes for his or her shoppers while at Knight Frank Singapore. No change Present Rules

Extending the tax exemption would help. The exemption, which may be as a lot as $2 million per family, covers individuals who negotiate a principal reduction on their existing mortgage, sell their house short (i.e., for lower than the excellent loans), or take part in a foreclosure course of. An extension of theexemption would seem like a common-sense means to assist stabilize the housing market, but the political turmoil around the fiscal-cliff negotiations means widespread sense could not win out. Home Minority Chief Nancy Pelosi (D-Calif.) believes that the mortgage relief provision will be on the table during the grand-cut price talks, in response to communications director Nadeam Elshami. Buying or promoting of blue mild bulbs is unlawful.

A vendor's stamp duty has been launched on industrial property for the primary time, at rates ranging from 5 per cent to 15 per cent. The Authorities might be trying to reassure the market that they aren't in opposition to foreigners and PRs investing in Singapore's property market. They imposed these measures because of extenuating components available in the market." The sale of new dual-key EC models will even be restricted to multi-generational households only. The models have two separate entrances, permitting grandparents, for example, to dwell separately. The vendor's stamp obligation takes effect right this moment and applies to industrial property and plots which might be offered inside three years of the date of buy. JLL named Best Performing Property Brand for second year running

The data offered is for normal info purposes only and isn't supposed to be personalised investment or monetary advice. Motley Fool Singapore contributor Stanley Lim would not personal shares in any corporations talked about. Singapore private home costs increased by 1.eight% within the fourth quarter of 2012, up from 0.6% within the earlier quarter. Resale prices of government-built HDB residences which are usually bought by Singaporeans, elevated by 2.5%, quarter on quarter, the quickest acquire in five quarters. And industrial property, prices are actually double the levels of three years ago. No withholding tax in the event you sell your property. All your local information regarding vital HDB policies, condominium launches, land growth, commercial property and more

There are various methods to go about discovering the precise property. Some local newspapers (together with the Straits Instances ) have categorised property sections and many local property brokers have websites. Now there are some specifics to consider when buying a 'new launch' rental. Intended use of the unit Every sale begins with 10 p.c low cost for finish of season sale; changes to 20 % discount storewide; follows by additional reduction of fiftyand ends with last discount of 70 % or extra. Typically there is even a warehouse sale or transferring out sale with huge mark-down of costs for stock clearance. Deborah Regulation from Expat Realtor shares her property market update, plus prime rental residences and houses at the moment available to lease Esparina EC @ Sengkang
One of the biggest reasons investing in a Singapore new launch is an effective things is as a result of it is doable to be lent massive quantities of money at very low interest rates that you should utilize to purchase it. Then, if property values continue to go up, then you'll get a really high return on funding (ROI). Simply make sure you purchase one of the higher properties, reminiscent of the ones at Fernvale the Riverbank or any Singapore landed property Get Earnings by means of Renting

In its statement, the singapore property listing - website link, government claimed that the majority citizens buying their first residence won't be hurt by the new measures. Some concessions can even be prolonged to chose teams of consumers, similar to married couples with a minimum of one Singaporean partner who are purchasing their second property so long as they intend to promote their first residential property. Lower the LTV limit on housing loans granted by monetary establishments regulated by MAS from 70% to 60% for property purchasers who are individuals with a number of outstanding housing loans on the time of the brand new housing purchase. Singapore Property Measures - 30 August 2010 The most popular seek for the number of bedrooms in Singapore is 4, followed by 2 and three. Lush Acres EC @ Sengkang

Discover out more about real estate funding in the area, together with info on international funding incentives and property possession. Many Singaporeans have been investing in property across the causeway in recent years, attracted by comparatively low prices. However, those who need to exit their investments quickly are likely to face significant challenges when trying to sell their property – and could finally be stuck with a property they can't sell. Career improvement programmes, in-house valuation, auctions and administrative help, venture advertising and marketing, skilled talks and traisning are continuously planned for the sales associates to help them obtain better outcomes for his or her shoppers while at Knight Frank Singapore. No change Present Rules

Extending the tax exemption would help. The exemption, which may be as a lot as $2 million per family, covers individuals who negotiate a principal reduction on their existing mortgage, sell their house short (i.e., for lower than the excellent loans), or take part in a foreclosure course of. An extension of theexemption would seem like a common-sense means to assist stabilize the housing market, but the political turmoil around the fiscal-cliff negotiations means widespread sense could not win out. Home Minority Chief Nancy Pelosi (D-Calif.) believes that the mortgage relief provision will be on the table during the grand-cut price talks, in response to communications director Nadeam Elshami. Buying or promoting of blue mild bulbs is unlawful.

A vendor's stamp duty has been launched on industrial property for the primary time, at rates ranging from 5 per cent to 15 per cent. The Authorities might be trying to reassure the market that they aren't in opposition to foreigners and PRs investing in Singapore's property market. They imposed these measures because of extenuating components available in the market." The sale of new dual-key EC models will even be restricted to multi-generational households only. The models have two separate entrances, permitting grandparents, for example, to dwell separately. The vendor's stamp obligation takes effect right this moment and applies to industrial property and plots which might be offered inside three years of the date of buy. JLL named Best Performing Property Brand for second year running

The data offered is for normal info purposes only and isn't supposed to be personalised investment or monetary advice. Motley Fool Singapore contributor Stanley Lim would not personal shares in any corporations talked about. Singapore private home costs increased by 1.eight% within the fourth quarter of 2012, up from 0.6% within the earlier quarter. Resale prices of government-built HDB residences which are usually bought by Singaporeans, elevated by 2.5%, quarter on quarter, the quickest acquire in five quarters. And industrial property, prices are actually double the levels of three years ago. No withholding tax in the event you sell your property. All your local information regarding vital HDB policies, condominium launches, land growth, commercial property and more

There are various methods to go about discovering the precise property. Some local newspapers (together with the Straits Instances ) have categorised property sections and many local property brokers have websites. Now there are some specifics to consider when buying a 'new launch' rental. Intended use of the unit Every sale begins with 10 p.c low cost for finish of season sale; changes to 20 % discount storewide; follows by additional reduction of fiftyand ends with last discount of 70 % or extra. Typically there is even a warehouse sale or transferring out sale with huge mark-down of costs for stock clearance. Deborah Regulation from Expat Realtor shares her property market update, plus prime rental residences and houses at the moment available to lease Esparina EC @ Sengkang.
One of the biggest reasons investing in a Singapore new launch is an effective things is as a result of it is doable to be lent massive quantities of money at very low interest rates that you should utilize to purchase it. Then, if property values continue to go up, then you'll get a really high return on funding (ROI). Simply make sure you purchase one of the higher properties, reminiscent of the ones at Fernvale the Riverbank or any Singapore landed property Get Earnings by means of Renting

In its statement, the singapore property listing - website link, government claimed that the majority citizens buying their first residence won't be hurt by the new measures. Some concessions can even be prolonged to chose teams of consumers, similar to married couples with a minimum of one Singaporean partner who are purchasing their second property so long as they intend to promote their first residential property. Lower the LTV limit on housing loans granted by monetary establishments regulated by MAS from 70% to 60% for property purchasers who are individuals with a number of outstanding housing loans on the time of the brand new housing purchase. Singapore Property Measures - 30 August 2010 The most popular seek for the number of bedrooms in Singapore is 4, followed by 2 and three. Lush Acres EC @ Sengkang

Discover out more about real estate funding in the area, together with info on international funding incentives and property possession. Many Singaporeans have been investing in property across the causeway in recent years, attracted by comparatively low prices. However, those who need to exit their investments quickly are likely to face significant challenges when trying to sell their property – and could finally be stuck with a property they can't sell. Career improvement programmes, in-house valuation, auctions and administrative help, venture advertising and marketing, skilled talks and traisning are continuously planned for the sales associates to help them obtain better outcomes for his or her shoppers while at Knight Frank Singapore. No change Present Rules

Extending the tax exemption would help. The exemption, which may be as a lot as $2 million per family, covers individuals who negotiate a principal reduction on their existing mortgage, sell their house short (i.e., for lower than the excellent loans), or take part in a foreclosure course of. An extension of theexemption would seem like a common-sense means to assist stabilize the housing market, but the political turmoil around the fiscal-cliff negotiations means widespread sense could not win out. Home Minority Chief Nancy Pelosi (D-Calif.) believes that the mortgage relief provision will be on the table during the grand-cut price talks, in response to communications director Nadeam Elshami. Buying or promoting of blue mild bulbs is unlawful.

A vendor's stamp duty has been launched on industrial property for the primary time, at rates ranging from 5 per cent to 15 per cent. The Authorities might be trying to reassure the market that they aren't in opposition to foreigners and PRs investing in Singapore's property market. They imposed these measures because of extenuating components available in the market." The sale of new dual-key EC models will even be restricted to multi-generational households only. The models have two separate entrances, permitting grandparents, for example, to dwell separately. The vendor's stamp obligation takes effect right this moment and applies to industrial property and plots which might be offered inside three years of the date of buy. JLL named Best Performing Property Brand for second year running

The data offered is for normal info purposes only and isn't supposed to be personalised investment or monetary advice. Motley Fool Singapore contributor Stanley Lim would not personal shares in any corporations talked about. Singapore private home costs increased by 1.eight% within the fourth quarter of 2012, up from 0.6% within the earlier quarter. Resale prices of government-built HDB residences which are usually bought by Singaporeans, elevated by 2.5%, quarter on quarter, the quickest acquire in five quarters. And industrial property, prices are actually double the levels of three years ago. No withholding tax in the event you sell your property. All your local information regarding vital HDB policies, condominium launches, land growth, commercial property and more

There are various methods to go about discovering the precise property. Some local newspapers (together with the Straits Instances ) have categorised property sections and many local property brokers have websites. Now there are some specifics to consider when buying a 'new launch' rental. Intended use of the unit Every sale begins with 10 p.c low cost for finish of season sale; changes to 20 % discount storewide; follows by additional reduction of fiftyand ends with last discount of 70 % or extra. Typically there is even a warehouse sale or transferring out sale with huge mark-down of costs for stock clearance. Deborah Regulation from Expat Realtor shares her property market update, plus prime rental residences and houses at the moment available to lease Esparina EC @ Sengkang.
20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
55 years old Systems Administrator Antony from Clarence Creek, really loves learning, PC Software and aerobics. Likes to travel and was inspired after making a journey to Historic Ensemble of the Potala Palace.

You can view that web-site... ccleaner free download.

Further reading

Robert G. Gallager: Information Theory and Reliable Communication. Wiley, 1968

[1] Knuth (2003), p. 2

[2] Berstel et al. (2009), Example 2.3.1 p. 63

[3] Template:Harvtxt proves that the complementary problem, of testing for the existence of a string with two decodings, is NL-complete, and therefore that unique decipherability is co-NL-complete. The equivalence of NL-completeness and co-NL-completeness follows from the Immerman–Szelepcsényi theorem.

[4] Salomaa (1981)

[5] Berstel et al. (2009), Chapter 2.3

[1]

[2]

[3]

[4]

[5]

@@ Line 1: / Line 1: @@
+In [[coding theory]], the '''Sardinas–Patterson algorithm''' is a classical algorithm for determining in [[polynomial time]] whether a given [[variable-length code]] is uniquely decodable, named after August Albert Sardinas and George W. Patterson, who published it in 1953.{{sfnp|Sardinas|Patterson|1953}} The algorithm carries out a systematic search for a string which admits two different decompositions into codewords. As [[Donald Knuth|Knuth]] reports, the algorithm was rediscovered about ten years later in 1963 by [[Robert Floyd|Floyd]], despite the fact that it was at the time already well known in coding theory.<ref>Knuth (2003), p. 2</ref>
+==Idea of the algorithm==
-If you are looking for a specific plugin, then you can just search for the name of the plugin. Affilo - Theme is the guaranteed mixing of wordpress theme that Mark Ling use for his internet marketing career. Step-4 Testing: It is the foremost important of your Plugin development process. Out of the various designs of photography identified these days, sports photography is preferred most, probably for the enjoyment and enjoyment associated with it. The top 4 reasons to use Business Word - Press Themes for a business website are:. <br><br>Luckily, for Word - Press users, WP Touch plugin transforms your site into an IPhone style theme. After all, Word - Press is free, many of the enhancements for Word - Press like themes and plugins are also free, and there is plenty of free information online about how to use Word - Press. It allows Word - Press users to easily use HTML5  the element enable native video playback within the browser. Furthermore, with the launch of Windows 7 Phone is the smart phone market nascent App.  If you have any sort of inquiries relating to where and the best ways to make use of [http://yo.io/wordpress_dropbox_backup_9581 backup plugin], you can contact us at the site. Many times the camera is following Mia, taking in her point of view in almost every frame. <br><br>ve labored so hard to publish and put up on their website. The following piece of content is meant to make your choice easier and reassure you that the decision to go ahead with this conversion is requited with rich benefits:. After age 35, 18% of pregnancies will end in miscarriage. Our skilled expertise, skillfulness and excellence have been well known all across the world. Have you heard about niche marketing and advertising. <br><br>If all else fails, please leave a comment on this post with the issue(s) you're having and help will be on the way. In case you need to hire PHP developers or hire Offshore Code - Igniter development services or you are looking for Word - Press development experts then Mindfire Solutions would be the right choice for a Software Development partner. The templates are designed to be stand alone pages that have a different look and feel from the rest of your website. Word - Press is the most popular open source content management system (CMS) in the world today. See a product, take a picture, and it gives you an Amazon price for that product, or related products. <br><br>Website security has become a major concern among individuals all over the world. Automated deal feed integration option to populate your blog with relevant deals. However, you must also manually approve or reject comments so that your website does not promote parasitic behavior. )  Remote Login:  With the process of PSD to Wordpress conversion comes the advantage of flexibility. I have never seen a plugin with such a massive array of features, this does everything that platinum SEO and All In One SEO, also throws in the functionality found within SEO Smart Links and a number of other plugins it is essentially the swiss army knife of Word - Press plugins.
+Consider the code  <math>\{\, a \mapsto 1, b \mapsto 011, c\mapsto 01110, d\mapsto 1110, e\mapsto 10011\,\}</math>. This code, which is based on an example by Berstel,<ref>Berstel et al. (2009), Example 2.3.1 p. 63</ref> is an example of a code which is not uniquely decodable, since the string
+:011101110011
+can be interpreted as the sequence of codewords
+:01110 – 1110 – 011,
+but also as the sequence of codewords
+:011 – 1 – 011 – 10011.
+Two possible decodings of this encoded string are thus given by ''cdb'' and ''babe''.
+In general, a codeword can be found by the following idea: In the first round, we choose two codewords <math>x_1</math> and <math>y_1</math> such that <math>x_1</math> is a [[Prefix (computer science)|prefix]] of <math>y_1</math>, that is,
+<math>x_1w = y_1</math> for some "dangling suffix" <math>w</math>. If one tries first <math>x_1=011</math> and <math>y_1=01110</math>, the dangling [[Suffix (computer science)|suffix]] is <math>w = 10</math>. If we manage to find two sequences <math>x_2,\ldots,x_p</math> and <math>y_2,\ldots,y_q</math> of codewords such that
+<math>x_2\cdots x_p = wy_2\cdots y_q</math>, then we are finished: For then the string <math>x = x_1x_2\cdots x_p</math> can alternatively be decomposed as <math>y_1y_2\cdots y_q</math>, and we have found the desired string having at least two different decompositions into codewords. In the second round, we try out two different approaches: the first trial is to look for a codeword that has ''w'' as prefix. Then we obtain a new dangling suffix ''w''', with which we can continue our search. If we eventually encounter a dangling suffix that is itself a codeword (or the [[empty word]]), then the search will terminate, as we know there exists a string with two decompositions. The second trial is to seek for a codeword that is itself a prefix of ''w''. In our example, we have <math>w = 10</math>, and the sequence ''1'' is a codeword. We can thus also continue with ''w'=0'' as the new dangling suffix.
+==Precise description of the algorithm==
+The algorithm is described most conveniently using quotients of [[formal language]]s. In general, for two sets of strings ''D'' and ''N'', the (left) quotient <math>N^{-1}D</math> is defined as the residual words obtained from ''D'' by removing some prefix in ''N''. Formally, <math>N^{-1}D = \{\,y \mid xy\in D ~\textrm{ and }~ x \in N \,\}</math>. Now let <math>C</math> denote the (finite) set of codewords in the given code.
+The algorithm proceeds in rounds, where we maintain in each round not only one dangling suffix as described above, but the (finite) set of all potential dangling suffixes. Starting with round <math>i=1</math>, the set of potential dangling suffixes will be denoted by <math>S_i</math>. The sets <math>S_i</math> are defined [[recursive definition|inductively]] as follows:
+<math>S_1 = C^{-1}C \setminus \{\varepsilon\}</math>. Here, the symbol <math>\varepsilon</math> denotes the [[empty word]].
+<math>S_{i+1} = C^{-1}S_i\cup S_i^{-1}C</math>, for all <math>i\ge 1</math>.
+The algorithm computes the sets <math>S_i</math> in increasing order of <math>i</math>. As soon as one of the <math>S_i</math> contains a word from ''C'' or the empty word, then the algorithm terminates and answers that the given code is not uniquely decodable. Otherwise, once a set <math>S_i</math>
+equals a previously encountered set <math>S_j</math> with <math>j<i</math>, then the algorithm would enter in principle an endless loop. Instead of continuing endlessly, it answers that the given code is uniquely decodable.
+==Termination and correctness of the algorithm==
+Since all sets <math>S_i</math> are sets of suffixes of a finite set of codewords, there are only finitely many different candidates for <math>S_i</math>. Since visiting one of the sets for the second time will cause the algorithm to stop, the algorithm cannot continue endlessly and thus must always [[terminate]]. More precisely, the total number of dangling suffixes that the algorithm considers is at most equal to the total of the lengths of the codewords in the input, so the algorithm runs in [[polynomial time]] as a function of this input length. By using a [[suffix tree]] to speed the comparison between each dangling suffix and the codewords, the time for the algorithm can be bounded by O(''nk''), where ''n'' is the total length of the codewords and ''k'' is the number of codewords.{{sfnp|Rodeh|1982}} The algorithm can also be implemented to run on a [[nondeterministic turing machine]] that uses only [[NL (complexity)|logarithmic space]]; the problem of testing unique decipherability is [[NL-complete]], so this space bound is optimal.<ref>{{harvtxt|Rytter|1986}} proves that the complementary problem, of testing for the existence of a string with two decodings, is NL-complete, and therefore that unique decipherability is co-NL-complete. The equivalence of NL-completeness and co-NL-completeness follows from the [[Immerman–Szelepcsényi theorem]].</ref>
+A proof that the algorithm is [[correctness (computer science)|correct]], i.e. that it always gives the correct answer, is found in the textbooks by [[Arto Salomaa|Salomaa]]<ref>Salomaa (1981)</ref> and by Berstel et al.<ref>Berstel et al. (2009), Chapter 2.3</ref>
+==See also==
+*[[Kraft's inequality]] in some cases provides a quick way to exclude the possibility that a given code is uniquely decodable.
+*[[Prefix code]]s and [[block code]]s are important classes of codes which are uniquely decodable by definition.
+*[[Timeline of information theory]]
+==Notes==
+<references/>
+==References==
+* {{cite book | last1=Berstel | first1=Jean | last2=Perrin | first2=Dominique | last3=Reutenauer | first3=Christophe | title=Codes and automata | series=Encyclopedia of Mathematics and its Applications | volume=129 | location=Cambridge | publisher=Cambridge University Press | year=2010 | isbn=978-0-521-88831-8 | url=http://www-igm.univ-mlv.fr/~berstel/LivreCodes/Codes.html | zbl=1187.94001 }}
+* {{cite book | last1=Berstel | first1=Jean | last2=Reutenauer | first2=Christophe | title=Noncommutative rational series with applications | series=Encyclopedia of Mathematics and Its Applications | volume=137 | location=Cambridge | publisher=[[Cambridge University Press]] | year=2011 | isbn=978-0-521-19022-0 | zbl=1250.68007 }}
+* {{cite journal | first=Donald E. | last=Knuth | authorlink=Donald Knuth | title=Robert W Floyd, In Memoriam | journal=SIGACT News | volume=34 | number=4 | pages=3–13 | date=December 2003 }}
+*{{cite journal | ref = harv
+ | last = Rodeh | first = M.
+ | doi = 10.1109/TIT.1982.1056535
+ | issue = 4
+ | journal = IEEE Transactions on Information Theory
+ | pages = 648–651
+ | title = A fast test for unique decipherability based on suffix trees (Corresp.)
+ | volume = 28
+ | year = 1982}}.
+*{{cite journal | ref = harv
+ | last = Rytter | first = Wojciech
+ | doi = 10.1016/0020-0190(86)90121-3
+  | issue = 1
+ | journal = Information Processing Letters
+ | mr = 853618
+ | pages = 1–3
+  | title = The space complexity of the unique decipherability problem
+ | volume = 23
+ | year = 1986}}.
+* {{cite book | first=Arto | last=Salomaa | authorlink=Arto Salomaa | title=Jewels of Formal Language Theory | publisher=Pitman Publishing | isbn=0-273-08522-0 | year=1981 | zbl=0487.68064 }}
+*{{cite conference|first1=August Albert|last1=Sardinas|first2=George W.|last2=Patterson|contribution=A necessary and sufﬁcient condition for the unique decomposition of coded messages|title=Convention Record of the [[Institute of Radio Engineers|I.R.E.]], 1953 National Convention, Part 8: Information Theory|pages=104–108|year=1953}}.
+;Further reading
+* [[Robert G. Gallager]]: ''Information Theory and Reliable Communication.'' Wiley, 1968
+{{DEFAULTSORT:Sardinas-Patterson algorithm}}
+[[Category:Algorithms]]
+[[Category:Coding theory]]
+[[Category:Data compression]]

Inverse gas chromatography: Difference between revisions

Revision as of 14:32, 20 March 2013

Contents

Idea of the algorithm

Precise description of the algorithm

Termination and correctness of the algorithm

See also

Notes

References

Navigation menu

Inverse gas chromatography: Difference between revisions

Revision as of 14:32, 20 March 2013

Idea of the algorithm

Precise description of the algorithm

Termination and correctness of the algorithm

See also

Notes

References

Navigation menu

Search