PostGIS ST_Intersects is slow and doesn't seem to use spatial index











up vote
3
down vote

favorite












There are several threads about ST_Intersects being slow (like this one). Main advise is to use spatial index. Well I know that and created spatial index beforehand, but the query is slow nevertheless (takes about 2 hours to complete). Result of explain seems to show no sign of spatial index being used.



I want to mark which LineStrings in one table (~3M records) intersects the target Polygon in other (~30k records). The polygon is huge, but not that huge in comparison to the extent of entire dataset and I expect to catch about 100k records from the highway_only_motor table.



The query:



update highway_only_motor
set has_business_value = true
where st_intersects(geom, (select geom from admin_boundary where id = 10236))


Explain result:



QUERY PLAN                                                                                         |
---------------------------------------------------------------------------------------------------|
Update on highway_only_motor (cost=8.30..1241137.48 rows=1431564 width=1782) |
InitPlan 1 (returns $0) |
-> Index Scan using admin_boundary_pkey on admin_boundary (cost=0.29..8.30 rows=1 width=6768)|
Index Cond: (id = 10236) |
-> Seq Scan on highway_only_motor (cost=0.00..1241129.18 rows=1431564 width=1782) |
Filter: st_intersects(geom, $0) |


Tables:



CREATE TABLE public.highway_only_motor (
osm_id int8 NULL,
geom geometry NULL,
"name" text NULL,
highway text NULL,
"ref" text NULL,
oneway text NULL,
id serial NOT NULL,
city varchar(255) NULL,
state varchar(255) NULL,
country varchar(255) NULL,
has_business_value bool NOT NULL DEFAULT false,
CONSTRAINT highway_only_motor_pkey PRIMARY KEY (id)
);
CREATE INDEX highway_only_motor_geom_idx ON public.highway_only_motor USING gist (geom);

CREATE TABLE public.admin_boundary (
osm_id int8 NULL,
admin_level int4 NULL,
boundary text NULL,
"name" text NULL,
place text NULL,
population text NULL,
geom geometry NULL,
id serial NOT NULL,
CONSTRAINT admin_boundary_pkey PRIMARY KEY (id)
);
CREATE INDEX admin_boundary_geom_idx ON public.admin_boundary USING gist (geom);









share|improve this question






















  • have you tried rewriting the query to remove the sub-select?
    – Mike T
    18 hours ago










  • @MikeT you have a point - this is the root of the issue. With select replaced with straight WKT (a copy-paste) the query takes less than 30 seconds. Though I fail to properly rewrite the query to achieve the same result.
    – SS_Rebelious
    17 hours ago















up vote
3
down vote

favorite












There are several threads about ST_Intersects being slow (like this one). Main advise is to use spatial index. Well I know that and created spatial index beforehand, but the query is slow nevertheless (takes about 2 hours to complete). Result of explain seems to show no sign of spatial index being used.



I want to mark which LineStrings in one table (~3M records) intersects the target Polygon in other (~30k records). The polygon is huge, but not that huge in comparison to the extent of entire dataset and I expect to catch about 100k records from the highway_only_motor table.



The query:



update highway_only_motor
set has_business_value = true
where st_intersects(geom, (select geom from admin_boundary where id = 10236))


Explain result:



QUERY PLAN                                                                                         |
---------------------------------------------------------------------------------------------------|
Update on highway_only_motor (cost=8.30..1241137.48 rows=1431564 width=1782) |
InitPlan 1 (returns $0) |
-> Index Scan using admin_boundary_pkey on admin_boundary (cost=0.29..8.30 rows=1 width=6768)|
Index Cond: (id = 10236) |
-> Seq Scan on highway_only_motor (cost=0.00..1241129.18 rows=1431564 width=1782) |
Filter: st_intersects(geom, $0) |


Tables:



CREATE TABLE public.highway_only_motor (
osm_id int8 NULL,
geom geometry NULL,
"name" text NULL,
highway text NULL,
"ref" text NULL,
oneway text NULL,
id serial NOT NULL,
city varchar(255) NULL,
state varchar(255) NULL,
country varchar(255) NULL,
has_business_value bool NOT NULL DEFAULT false,
CONSTRAINT highway_only_motor_pkey PRIMARY KEY (id)
);
CREATE INDEX highway_only_motor_geom_idx ON public.highway_only_motor USING gist (geom);

CREATE TABLE public.admin_boundary (
osm_id int8 NULL,
admin_level int4 NULL,
boundary text NULL,
"name" text NULL,
place text NULL,
population text NULL,
geom geometry NULL,
id serial NOT NULL,
CONSTRAINT admin_boundary_pkey PRIMARY KEY (id)
);
CREATE INDEX admin_boundary_geom_idx ON public.admin_boundary USING gist (geom);









share|improve this question






















  • have you tried rewriting the query to remove the sub-select?
    – Mike T
    18 hours ago










  • @MikeT you have a point - this is the root of the issue. With select replaced with straight WKT (a copy-paste) the query takes less than 30 seconds. Though I fail to properly rewrite the query to achieve the same result.
    – SS_Rebelious
    17 hours ago













up vote
3
down vote

favorite









up vote
3
down vote

favorite











There are several threads about ST_Intersects being slow (like this one). Main advise is to use spatial index. Well I know that and created spatial index beforehand, but the query is slow nevertheless (takes about 2 hours to complete). Result of explain seems to show no sign of spatial index being used.



I want to mark which LineStrings in one table (~3M records) intersects the target Polygon in other (~30k records). The polygon is huge, but not that huge in comparison to the extent of entire dataset and I expect to catch about 100k records from the highway_only_motor table.



The query:



update highway_only_motor
set has_business_value = true
where st_intersects(geom, (select geom from admin_boundary where id = 10236))


Explain result:



QUERY PLAN                                                                                         |
---------------------------------------------------------------------------------------------------|
Update on highway_only_motor (cost=8.30..1241137.48 rows=1431564 width=1782) |
InitPlan 1 (returns $0) |
-> Index Scan using admin_boundary_pkey on admin_boundary (cost=0.29..8.30 rows=1 width=6768)|
Index Cond: (id = 10236) |
-> Seq Scan on highway_only_motor (cost=0.00..1241129.18 rows=1431564 width=1782) |
Filter: st_intersects(geom, $0) |


Tables:



CREATE TABLE public.highway_only_motor (
osm_id int8 NULL,
geom geometry NULL,
"name" text NULL,
highway text NULL,
"ref" text NULL,
oneway text NULL,
id serial NOT NULL,
city varchar(255) NULL,
state varchar(255) NULL,
country varchar(255) NULL,
has_business_value bool NOT NULL DEFAULT false,
CONSTRAINT highway_only_motor_pkey PRIMARY KEY (id)
);
CREATE INDEX highway_only_motor_geom_idx ON public.highway_only_motor USING gist (geom);

CREATE TABLE public.admin_boundary (
osm_id int8 NULL,
admin_level int4 NULL,
boundary text NULL,
"name" text NULL,
place text NULL,
population text NULL,
geom geometry NULL,
id serial NOT NULL,
CONSTRAINT admin_boundary_pkey PRIMARY KEY (id)
);
CREATE INDEX admin_boundary_geom_idx ON public.admin_boundary USING gist (geom);









share|improve this question













There are several threads about ST_Intersects being slow (like this one). Main advise is to use spatial index. Well I know that and created spatial index beforehand, but the query is slow nevertheless (takes about 2 hours to complete). Result of explain seems to show no sign of spatial index being used.



I want to mark which LineStrings in one table (~3M records) intersects the target Polygon in other (~30k records). The polygon is huge, but not that huge in comparison to the extent of entire dataset and I expect to catch about 100k records from the highway_only_motor table.



The query:



update highway_only_motor
set has_business_value = true
where st_intersects(geom, (select geom from admin_boundary where id = 10236))


Explain result:



QUERY PLAN                                                                                         |
---------------------------------------------------------------------------------------------------|
Update on highway_only_motor (cost=8.30..1241137.48 rows=1431564 width=1782) |
InitPlan 1 (returns $0) |
-> Index Scan using admin_boundary_pkey on admin_boundary (cost=0.29..8.30 rows=1 width=6768)|
Index Cond: (id = 10236) |
-> Seq Scan on highway_only_motor (cost=0.00..1241129.18 rows=1431564 width=1782) |
Filter: st_intersects(geom, $0) |


Tables:



CREATE TABLE public.highway_only_motor (
osm_id int8 NULL,
geom geometry NULL,
"name" text NULL,
highway text NULL,
"ref" text NULL,
oneway text NULL,
id serial NOT NULL,
city varchar(255) NULL,
state varchar(255) NULL,
country varchar(255) NULL,
has_business_value bool NOT NULL DEFAULT false,
CONSTRAINT highway_only_motor_pkey PRIMARY KEY (id)
);
CREATE INDEX highway_only_motor_geom_idx ON public.highway_only_motor USING gist (geom);

CREATE TABLE public.admin_boundary (
osm_id int8 NULL,
admin_level int4 NULL,
boundary text NULL,
"name" text NULL,
place text NULL,
population text NULL,
geom geometry NULL,
id serial NOT NULL,
CONSTRAINT admin_boundary_pkey PRIMARY KEY (id)
);
CREATE INDEX admin_boundary_geom_idx ON public.admin_boundary USING gist (geom);






postgis postgresql performance






share|improve this question













share|improve this question











share|improve this question




share|improve this question










asked 18 hours ago









SS_Rebelious

4,62111852




4,62111852












  • have you tried rewriting the query to remove the sub-select?
    – Mike T
    18 hours ago










  • @MikeT you have a point - this is the root of the issue. With select replaced with straight WKT (a copy-paste) the query takes less than 30 seconds. Though I fail to properly rewrite the query to achieve the same result.
    – SS_Rebelious
    17 hours ago


















  • have you tried rewriting the query to remove the sub-select?
    – Mike T
    18 hours ago










  • @MikeT you have a point - this is the root of the issue. With select replaced with straight WKT (a copy-paste) the query takes less than 30 seconds. Though I fail to properly rewrite the query to achieve the same result.
    – SS_Rebelious
    17 hours ago
















have you tried rewriting the query to remove the sub-select?
– Mike T
18 hours ago




have you tried rewriting the query to remove the sub-select?
– Mike T
18 hours ago












@MikeT you have a point - this is the root of the issue. With select replaced with straight WKT (a copy-paste) the query takes less than 30 seconds. Though I fail to properly rewrite the query to achieve the same result.
– SS_Rebelious
17 hours ago




@MikeT you have a point - this is the root of the issue. With select replaced with straight WKT (a copy-paste) the query takes less than 30 seconds. Though I fail to properly rewrite the query to achieve the same result.
– SS_Rebelious
17 hours ago










1 Answer
1






active

oldest

votes

















up vote
5
down vote



accepted










Try



WITH
poly AS (
SELECT geom
FROM admin_boundary
WHERE id = <id>
)

UPDATE highway_only_motor AS a
SET has_business_value = true
FROM poly AS b
WHERE ST_Intersects(a.geom, b.geom);


With the pre-selection in the CTE, you should get similar performance as with a direct geometry reference in the ST_Intersects.






share|improve this answer

















  • 1




    This type of thing seems to come up once a week. I have been too immersed in watching my country of origin, the UK, slowly self destruct, from the safe distance of Spain, to have any time to answer questions.
    – John Powell
    16 hours ago






  • 2




    @JohnPowell SELECT ST_Intersection(a.civilisation, b.civilisation) FROM UK AS a, EU AS b; -> GEOMETRYCOLLECTION EMPTY. PostGIS politics extension.
    – ThingumaBob
    16 hours ago








  • 2




    Rotfl. Thank you my German friend for making me laugh. But really, based on current polls, it is SELECT ST_Area(ST_Intersection(a.civilisation, b.civilisation)) FROM UK AS a, EU AS b; result 0.53.
    – John Powell
    16 hours ago








  • 1




    @JohnPowell ...oh there's plenty of opportunity in PostGIS' function list =) those are the polls now? I really should follow the news some more. decision is tonight? ...well, last resort (and excuse my cynicism): it seems that Spain will stay loyal to the UNO migration pact...
    – ThingumaBob
    15 hours ago








  • 1




    Yup, whatukthinks.org/eu. It is incredible that it is only 53%. No, don't follow politics, it is massively depressing. Postgis and Python are much more enlightening. Yeah, Sanchez is a good PM, but, minority government. There are a lot of crazies here too, though nothing quite like the freakshow in London.
    – John Powell
    15 hours ago











Your Answer








StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "79"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});

function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
convertImagesToLinks: false,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: null,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fgis.stackexchange.com%2fquestions%2f305793%2fpostgis-st-intersects-is-slow-and-doesnt-seem-to-use-spatial-index%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes








up vote
5
down vote



accepted










Try



WITH
poly AS (
SELECT geom
FROM admin_boundary
WHERE id = <id>
)

UPDATE highway_only_motor AS a
SET has_business_value = true
FROM poly AS b
WHERE ST_Intersects(a.geom, b.geom);


With the pre-selection in the CTE, you should get similar performance as with a direct geometry reference in the ST_Intersects.






share|improve this answer

















  • 1




    This type of thing seems to come up once a week. I have been too immersed in watching my country of origin, the UK, slowly self destruct, from the safe distance of Spain, to have any time to answer questions.
    – John Powell
    16 hours ago






  • 2




    @JohnPowell SELECT ST_Intersection(a.civilisation, b.civilisation) FROM UK AS a, EU AS b; -> GEOMETRYCOLLECTION EMPTY. PostGIS politics extension.
    – ThingumaBob
    16 hours ago








  • 2




    Rotfl. Thank you my German friend for making me laugh. But really, based on current polls, it is SELECT ST_Area(ST_Intersection(a.civilisation, b.civilisation)) FROM UK AS a, EU AS b; result 0.53.
    – John Powell
    16 hours ago








  • 1




    @JohnPowell ...oh there's plenty of opportunity in PostGIS' function list =) those are the polls now? I really should follow the news some more. decision is tonight? ...well, last resort (and excuse my cynicism): it seems that Spain will stay loyal to the UNO migration pact...
    – ThingumaBob
    15 hours ago








  • 1




    Yup, whatukthinks.org/eu. It is incredible that it is only 53%. No, don't follow politics, it is massively depressing. Postgis and Python are much more enlightening. Yeah, Sanchez is a good PM, but, minority government. There are a lot of crazies here too, though nothing quite like the freakshow in London.
    – John Powell
    15 hours ago















up vote
5
down vote



accepted










Try



WITH
poly AS (
SELECT geom
FROM admin_boundary
WHERE id = <id>
)

UPDATE highway_only_motor AS a
SET has_business_value = true
FROM poly AS b
WHERE ST_Intersects(a.geom, b.geom);


With the pre-selection in the CTE, you should get similar performance as with a direct geometry reference in the ST_Intersects.






share|improve this answer

















  • 1




    This type of thing seems to come up once a week. I have been too immersed in watching my country of origin, the UK, slowly self destruct, from the safe distance of Spain, to have any time to answer questions.
    – John Powell
    16 hours ago






  • 2




    @JohnPowell SELECT ST_Intersection(a.civilisation, b.civilisation) FROM UK AS a, EU AS b; -> GEOMETRYCOLLECTION EMPTY. PostGIS politics extension.
    – ThingumaBob
    16 hours ago








  • 2




    Rotfl. Thank you my German friend for making me laugh. But really, based on current polls, it is SELECT ST_Area(ST_Intersection(a.civilisation, b.civilisation)) FROM UK AS a, EU AS b; result 0.53.
    – John Powell
    16 hours ago








  • 1




    @JohnPowell ...oh there's plenty of opportunity in PostGIS' function list =) those are the polls now? I really should follow the news some more. decision is tonight? ...well, last resort (and excuse my cynicism): it seems that Spain will stay loyal to the UNO migration pact...
    – ThingumaBob
    15 hours ago








  • 1




    Yup, whatukthinks.org/eu. It is incredible that it is only 53%. No, don't follow politics, it is massively depressing. Postgis and Python are much more enlightening. Yeah, Sanchez is a good PM, but, minority government. There are a lot of crazies here too, though nothing quite like the freakshow in London.
    – John Powell
    15 hours ago













up vote
5
down vote



accepted







up vote
5
down vote



accepted






Try



WITH
poly AS (
SELECT geom
FROM admin_boundary
WHERE id = <id>
)

UPDATE highway_only_motor AS a
SET has_business_value = true
FROM poly AS b
WHERE ST_Intersects(a.geom, b.geom);


With the pre-selection in the CTE, you should get similar performance as with a direct geometry reference in the ST_Intersects.






share|improve this answer












Try



WITH
poly AS (
SELECT geom
FROM admin_boundary
WHERE id = <id>
)

UPDATE highway_only_motor AS a
SET has_business_value = true
FROM poly AS b
WHERE ST_Intersects(a.geom, b.geom);


With the pre-selection in the CTE, you should get similar performance as with a direct geometry reference in the ST_Intersects.







share|improve this answer












share|improve this answer



share|improve this answer










answered 16 hours ago









ThingumaBob

5,4681222




5,4681222








  • 1




    This type of thing seems to come up once a week. I have been too immersed in watching my country of origin, the UK, slowly self destruct, from the safe distance of Spain, to have any time to answer questions.
    – John Powell
    16 hours ago






  • 2




    @JohnPowell SELECT ST_Intersection(a.civilisation, b.civilisation) FROM UK AS a, EU AS b; -> GEOMETRYCOLLECTION EMPTY. PostGIS politics extension.
    – ThingumaBob
    16 hours ago








  • 2




    Rotfl. Thank you my German friend for making me laugh. But really, based on current polls, it is SELECT ST_Area(ST_Intersection(a.civilisation, b.civilisation)) FROM UK AS a, EU AS b; result 0.53.
    – John Powell
    16 hours ago








  • 1




    @JohnPowell ...oh there's plenty of opportunity in PostGIS' function list =) those are the polls now? I really should follow the news some more. decision is tonight? ...well, last resort (and excuse my cynicism): it seems that Spain will stay loyal to the UNO migration pact...
    – ThingumaBob
    15 hours ago








  • 1




    Yup, whatukthinks.org/eu. It is incredible that it is only 53%. No, don't follow politics, it is massively depressing. Postgis and Python are much more enlightening. Yeah, Sanchez is a good PM, but, minority government. There are a lot of crazies here too, though nothing quite like the freakshow in London.
    – John Powell
    15 hours ago














  • 1




    This type of thing seems to come up once a week. I have been too immersed in watching my country of origin, the UK, slowly self destruct, from the safe distance of Spain, to have any time to answer questions.
    – John Powell
    16 hours ago






  • 2




    @JohnPowell SELECT ST_Intersection(a.civilisation, b.civilisation) FROM UK AS a, EU AS b; -> GEOMETRYCOLLECTION EMPTY. PostGIS politics extension.
    – ThingumaBob
    16 hours ago








  • 2




    Rotfl. Thank you my German friend for making me laugh. But really, based on current polls, it is SELECT ST_Area(ST_Intersection(a.civilisation, b.civilisation)) FROM UK AS a, EU AS b; result 0.53.
    – John Powell
    16 hours ago








  • 1




    @JohnPowell ...oh there's plenty of opportunity in PostGIS' function list =) those are the polls now? I really should follow the news some more. decision is tonight? ...well, last resort (and excuse my cynicism): it seems that Spain will stay loyal to the UNO migration pact...
    – ThingumaBob
    15 hours ago








  • 1




    Yup, whatukthinks.org/eu. It is incredible that it is only 53%. No, don't follow politics, it is massively depressing. Postgis and Python are much more enlightening. Yeah, Sanchez is a good PM, but, minority government. There are a lot of crazies here too, though nothing quite like the freakshow in London.
    – John Powell
    15 hours ago








1




1




This type of thing seems to come up once a week. I have been too immersed in watching my country of origin, the UK, slowly self destruct, from the safe distance of Spain, to have any time to answer questions.
– John Powell
16 hours ago




This type of thing seems to come up once a week. I have been too immersed in watching my country of origin, the UK, slowly self destruct, from the safe distance of Spain, to have any time to answer questions.
– John Powell
16 hours ago




2




2




@JohnPowell SELECT ST_Intersection(a.civilisation, b.civilisation) FROM UK AS a, EU AS b; -> GEOMETRYCOLLECTION EMPTY. PostGIS politics extension.
– ThingumaBob
16 hours ago






@JohnPowell SELECT ST_Intersection(a.civilisation, b.civilisation) FROM UK AS a, EU AS b; -> GEOMETRYCOLLECTION EMPTY. PostGIS politics extension.
– ThingumaBob
16 hours ago






2




2




Rotfl. Thank you my German friend for making me laugh. But really, based on current polls, it is SELECT ST_Area(ST_Intersection(a.civilisation, b.civilisation)) FROM UK AS a, EU AS b; result 0.53.
– John Powell
16 hours ago






Rotfl. Thank you my German friend for making me laugh. But really, based on current polls, it is SELECT ST_Area(ST_Intersection(a.civilisation, b.civilisation)) FROM UK AS a, EU AS b; result 0.53.
– John Powell
16 hours ago






1




1




@JohnPowell ...oh there's plenty of opportunity in PostGIS' function list =) those are the polls now? I really should follow the news some more. decision is tonight? ...well, last resort (and excuse my cynicism): it seems that Spain will stay loyal to the UNO migration pact...
– ThingumaBob
15 hours ago






@JohnPowell ...oh there's plenty of opportunity in PostGIS' function list =) those are the polls now? I really should follow the news some more. decision is tonight? ...well, last resort (and excuse my cynicism): it seems that Spain will stay loyal to the UNO migration pact...
– ThingumaBob
15 hours ago






1




1




Yup, whatukthinks.org/eu. It is incredible that it is only 53%. No, don't follow politics, it is massively depressing. Postgis and Python are much more enlightening. Yeah, Sanchez is a good PM, but, minority government. There are a lot of crazies here too, though nothing quite like the freakshow in London.
– John Powell
15 hours ago




Yup, whatukthinks.org/eu. It is incredible that it is only 53%. No, don't follow politics, it is massively depressing. Postgis and Python are much more enlightening. Yeah, Sanchez is a good PM, but, minority government. There are a lot of crazies here too, though nothing quite like the freakshow in London.
– John Powell
15 hours ago


















draft saved

draft discarded




















































Thanks for contributing an answer to Geographic Information Systems Stack Exchange!


  • Please be sure to answer the question. Provide details and share your research!

But avoid



  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.


To learn more, see our tips on writing great answers.





Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


Please pay close attention to the following guidance:


  • Please be sure to answer the question. Provide details and share your research!

But avoid



  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.


To learn more, see our tips on writing great answers.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fgis.stackexchange.com%2fquestions%2f305793%2fpostgis-st-intersects-is-slow-and-doesnt-seem-to-use-spatial-index%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown





















































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown

































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown







Popular posts from this blog

Quarter-circle Tiles

build a pushdown automaton that recognizes the reverse language of a given pushdown automaton?

Mont Emei