Web Crawler Multithreaded
Time O(\ · Space V\ · Official statement on LeetCode
Solutions
// Time: O(|V| + |E|)
// Space: O(|V|)
/**
* // This is the HtmlParser's API interface.
* // You should not implement it, or speculate about its implementation
* class HtmlParser {
* public:
* vector<string> getUrls(string url);
* };
*/
class Solution {
public:
vector<string> crawl(string startUrl, HtmlParser htmlParser) {
q_.emplace(startUrl);
unordered_set<string> lookup = {startUrl};
vector<thread> workers;
const auto& worker = [this](HtmlParser *htmlParser, unordered_set<string> *lookup) {
while (true) {
string from_url;
{
unique_lock<mutex> lock{m_};
cv_.wait(lock, [this]() { return !q_.empty(); });
from_url = q_.front(); q_.pop();
if (from_url.empty()) {
break;
}
++working_count_;
}
const auto& name = hostname(from_url);
for (const auto& to_url: htmlParser->getUrls(from_url)) {
if (name != hostname(to_url)) {
continue;
}
unique_lock<mutex> lock{m_};
if (!lookup->count(to_url)) {
lookup->emplace(to_url);
q_.emplace(to_url);
cv_.notify_all();
}
}
{
unique_lock<mutex> lock{m_};
--working_count_;
if (q_.empty() && !working_count_) {
cv_.notify_all();
}
}
}
};
for (int i = 0; i < NUMBER_OF_WORKERS; ++i) {
workers.emplace_back(worker, &htmlParser, &lookup);
}
{
unique_lock<mutex> lock{m_};
cv_.wait(lock, [this]() { return q_.empty() && !working_count_; });
for (const auto& t : workers) {
q_.emplace();
}
cv_.notify_all();
}
for (auto& t : workers) {
t.join();
}
return vector<string>(lookup.cbegin(), lookup.cend());
}
private:
string hostname(const string& url) {
static const string scheme = "http://";
return url.substr(0, url.find('/', scheme.length()));
}
static const int NUMBER_OF_WORKERS = 4;
queue<string> q_;
int working_count_ = 0;
mutex m_;
condition_variable cv_;
};
// Time: O(|V| + |E|)
// Space: O(|V|)
class Solution2 {
public:
vector<string> crawl(string startUrl, HtmlParser htmlParser) {
q_.emplace(startUrl);
unordered_set<string> lookup = {startUrl};
vector<thread> workers;
for (int i = 0; i < NUMBER_OF_WORKERS; ++i) {
workers.emplace_back(bind(&Solution2::worker, this, &htmlParser, &lookup));
}
{
unique_lock<mutex> lock{m_};
cv_.wait(lock, [this]() { return q_.empty() && !working_count_; });
for (const auto& t : workers) {
q_.emplace();
}
cv_.notify_all();
}
for (auto& t : workers) {
t.join();
}
return vector<string>(lookup.cbegin(), lookup.cend());
}
private:
void worker(HtmlParser *htmlParser, unordered_set<string> *lookup) {
while (true) {
string from_url;
{
unique_lock<mutex> lock{m_};
cv_.wait(lock, [this]() { return !q_.empty(); });
from_url = q_.front(); q_.pop();
if (from_url.empty()) {
break;
}
++working_count_;
}
const auto& name = hostname(from_url);
for (const auto& to_url: htmlParser->getUrls(from_url)) {
if (name != hostname(to_url)) {
continue;
}
unique_lock<mutex> lock{m_};
if (!lookup->count(to_url)) {
lookup->emplace(to_url);
q_.emplace(to_url);
cv_.notify_all();
}
}
{
unique_lock<mutex> lock{m_};
--working_count_;
if (q_.empty() && !working_count_) {
cv_.notify_all();
}
}
}
}
string hostname(const string& url) {
static const string scheme = "http://";
return url.substr(0, url.find('/', scheme.length()));
}
static const int NUMBER_OF_WORKERS = 4;
queue<string> q_;
int working_count_ = 0;
mutex m_;
condition_variable cv_;
};
Beginner Explanation
What is Web Crawler Multithreaded?
Web Crawler Multithreaded (LeetCode #1242) is a Medium problem that primarily trains concurrency.
How to think about it
- Restate the goal in your own words before coding.
- Work a tiny example by hand so the invariant becomes obvious.
- Identify the pattern — this problem aligns with general problem-solving.
- Only then translate the idea into code.
Why this problem matters
It sits in the sweet spot of interview difficulty: multiple valid approaches, clear trade-offs. Official solution notes mention: )_.
AlgoForge explanations are original teaching notes. Always open the official problem statement on LeetCode for constraints and examples.
Interview Walkthrough
Interview approach for Web Crawler Multithreaded
Opening (30–60 seconds)
- Clarify inputs/outputs and edge cases (empty input, single element, duplicates, overflow).
- State a brute force so the interviewer knows you can solve it naively.
- Propose the optimal direction tied to general problem-solving.
Core solution narrative
- Define the state you track (pointers, DP cell, set membership, stack top, etc.).
- Explain the transition when you process the next element.
- Call out time (O() and space (V) before coding.
- Code cleanly; narrate variable names.
What interviewers listen for
- Correctness on edge cases
- Complexity honesty
- Ability to discuss trade-offs (e.g., hash map space vs. sort + two pointers)
Follow-up questions they may ask
- Can you solve it with less memory?
- What if the input stream is infinite / doesn't fit in RAM?
- How would tests look for adversarial inputs?
Optimized Approach
Optimized solution notes
The reference solutions on AlgoForge target *O(* time and *V* space.
Pattern focus: general problem-solving
Use the pattern as a checklist:
- Identify the dominant pattern and stick to one clear invariant
Multiple methods appear in the source solutions — compare them and explain when each is preferable.
Implementation tips
- Prefer readable names over micro-optimizations in interviews.
- Extract helpers only when they clarify (e.g., expand-around-center, DFS visit).
- After AC-level logic, re-scan for off-by-one and null checks.
Complexity Analysis
Complexity
| Measure | Bound |
|---|---|
| Time | *O(* |
| Space | *V* |
How to justify this in an interview
- Time: count loops, map/set operations, and recursive branching; state average vs worst case if relevant.
- Space: include hash maps, recursion stack, and output allocation when the problem asks for it.
If your implementation differs from the reference, re-derive big-O from your code — never memorize a complexity you cannot defend.
Common Mistakes
Common mistakes on Web Crawler Multithreaded
- Skipping edge cases — empty collections, single-element inputs, max constraints.
- Wrong invariant for general problem-solving — updating state too early or too late.
- Mutating input unexpectedly when the problem forbids it.
- Off-by-one in windows, ranges, or binary search bounds.
- Ignoring overflow / precision for integer arithmetic problems.
- Overengineering — jumping to an advanced structure when a simpler approach works.
Alternative Approaches
Alternatives
The source file includes more than one method. Compare:
- Primary optimized path — best complexity for typical interviews.
- Secondary approach — often brute force, sorting-based, or space-optimized variant.
Practice articulating when you would pick each (constraints, readability, follow-ups).
Edge Cases
Edge cases checklist
- Minimum input size
- Maximum input size / time limits
- Duplicates and already-sorted input
- Negative numbers / zeros (if applicable)
- Disconnected structures (graphs/trees)
- Single path vs branching recursion depth
Pattern Recognition
Spotting this pattern
Signal phrases that point to general problem-solving:
- Sorted input or ability to sort without changing the answer class
- Need for contiguous subarray / substring → consider sliding window
- Need for O(1) membership → hash set/map
- Optimal substructure + overlapping subproblems → DP
- Connectivity / components → graph DFS/BFS or Union-Find
Primary topics: concurrency.
Follow-up Interview Questions
Follow-ups
- How does the solution change if the input is a stream?
- Can you solve it in-place?
- What if duplicates must be handled differently?
- How would you parallelize the approach?
- Design tests that would break a buggy implementation.
Practice Recommendations
What to practice next
- Re-solve Web Crawler Multithreaded in a second language (cpp, python).
- Drill 3–5 more problems tagged concurrency.
- Teach the solution out loud in under 5 minutes.
- Add this problem to your revision calendar in 3 days and 14 days.
Visualization
Study checklist
- Read the official problem statement on LeetCode
- Solve on paper / whiteboard first
- Implement the general problem-solving approach
- Verify edge cases from the checklist
- State time and space complexity aloud
- Compare with the AlgoForge reference solution
- Schedule a revision session
Revision notes
Web Crawler Multithreaded (#1242) — Medium. Pattern: general problem-solving. Complexity: O(\ time / V\ space. Re-derive the invariant before coding.
FAQs
What is the time complexity of Web Crawler Multithreaded?+
The reference solutions aim for O(\ time and V\ space. Always re-derive complexity from the code you write in the interview.
What pattern does Web Crawler Multithreaded use?+
It primarily maps to general problem-solving, within the broader topic of concurrency.
Is Web Crawler Multithreaded good for interviews?+
Yes — as a Medium problem it is a solid practice target. Pair it with related problems in the same pattern family for spaced repetition.
Where can I read the official statement?+
Open the official LeetCode page for constraints and examples: https://leetcode.com/problems/web-crawler-multithreaded/